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