> Okay, okay. Here’s the kind of program we envision writing in Hylo:
subscript longer_of(_ a: inout String, _ b: inout String): String {
if b.count() > a.count() { yield &b } else { yield &a }
}
The combination of a “String” result type and “yield &b” feels weird to me. Is that a typo?