| 04:21 | <Michael Ficarra> | GeneratorStart (https://tc39.es/ecma262/multipage/control-abstraction-objects.html#sec-generatorstart) invokes generatorBody which may be an Abstract Closure that uses the ? macro, but it doesn't wrap it in Completion() |
| 04:21 | <Michael Ficarra> | it should, right? |
| 04:21 | <Michael Ficarra> | @bakkot |
| 05:15 | <bakkot> | yeah, I guess |
| 05:16 | <bakkot> | strictly speaking the rule about wrapping things in completions only applies to AOs, I think, but it makes sense to do it for ACs as well |
| 12:22 | <Michael Ficarra> | should we treat all AC call sites as if the AC returns a completion record? |
| 12:23 | <Michael Ficarra> | I'm thinking specifically about using prefix ! |
| 12:24 | <Michael Ficarra> | I think we either need to do that or annotate their return type (and include that when describing an AC-typed parameter) |
| 14:23 | <bakkot> | there are not that many ACs |
| 14:23 | <bakkot> | especially if you ignore those passed to CreateBuiltInFunction |
| 14:23 | <bakkot> | I definitely do not want to treat them all as returning completions; I don't see any reason to do that |