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