{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME: calculate inner types
    ) -> Arc<chalk_solve::rust_ir::CoroutineWitnessDatum<Interner>> {
        let inner_types =