{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
            // Technically, we need to check that the coroutine types are Sized,
                .upcast(cx),
            // but that's already proven by the coroutine being WF.