{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
            substitution: Substitution::from1(Interner, ret_param_future.clone()),
        self.table.register_obligation(