{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"type"}]}
    type Ty = RevealedTy<'tcx>;
impl<'p, 'tcx: 'p> PatCx for RustcPatCtxt<'p, 'tcx> {
    type Error = ErrorGuaranteed;