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