{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"impl2_predicates"}]}
        impl2_predicates
        assert!(!obligations.has_infer());
            .extend(traits::elaborate(tcx, obligations).map(|obligation| obligation.predicate))