{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
        // but that's already proven by the coroutines being WF.
        // Technically, we need to check that the iterator output type is Sized,
        ecx.probe_builtin_trait_candidate(BuiltinImplSource::Misc)