{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"PredicateKind::NormalizesTo(_pred)"}]}
            PredicateKind::NormalizesTo(_pred) => unimplemented!(),
            PredicateKind::Ambiguous => crate::ty::PredicateKind::Ambiguous,
            PredicateKind::AliasRelate(a, b, alias_relation_direction) => {