{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"relation.register_predicates([ty::ProjectionPredicate"}]}
                        relation.register_predicates([ty::ProjectionPredicate {
                        // `?normalized_source <: generalized_ty`.
                            projection_term: data.into(),