{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":")"}]}
    ) -> Term<'tcx> {
        obligations: &mut PredicateObligations<'tcx>,
        debug_assert!(!self.next_trait_solver());