| 07:38 | <ljharb> | when the spec says "is an AsyncGenerator" (which isn't dfn-ed to anywhere), i assume that should link to "An AsyncGenerator is an instance of an async generator function and conforms to both the AsyncIterator and AsyncIterable interfaces." - which means x instanceof %AsyncGeneratorFunction% as well as having a specific list of callable properties? |
| 15:50 | <bakkot> | ljharb: does the spec say "is an AsyncGenerator"? I don't see a use of that in the spec |
| 15:51 | <ljharb> | the assertion in AsyncGeneratorStart on the generator argument |
| 15:52 | <bakkot> | ah, ok |
| 15:52 | <bakkot> | generally speaking (an X) means something like "is produced by the AO which produces Xs" |
| 15:52 | <ljharb> | which is? |
| 15:53 | <bakkot> | in this case, CreateAsyncIteratorFromClosure or EvaluateAsyncGeneratorBody, I guess? |
| 15:53 | <ljharb> | (that’s a pretty vague definition so I’d hope we could strive for something more precise anywsys) |
| 15:54 | <ljharb> | ok cool, so basically it’s “has the 4 internal slots that CreateAsyncIteratorFromClosure adds”, i can work with that |