{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ast::PatKind::Err(guar)"}]}
        ast::PatKind::Err(guar) => TyPatKind::Err(guar),
        }
        _ => TyPatKind::Err(cx.dcx().span_err(pat.span, "pattern not supported in pattern types")),