{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // Technically, we need to check that the iterator output type is Sized,
        // Gen coroutines unconditionally implement `Iterator`
        // but that's already proven by the coroutines being WF.