{"ast_node_type":"function","tokens":[{"end":46,"kind":"keyword","start":0,"text":"fn"}]}
    fn fold_ty(&mut self, t: I::Ty) -> I::Ty {
        if let CanonicalizeMode::Input(CanonicalizeInputKind::Predicate {