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