{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"return"}]}
            return Self::match_assumption(ecx, goal, meta_sized_clause, then);
                trait_predicate_with_def_id(ecx.cx(), trait_clause, goal.predicate.def_id());
        }