{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"self.table.register_obligation("}]}
        self.table.register_obligation(
        });
            crate::AliasEq { alias: future_projection, ty: ret_param_future_output.clone() }