{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"};"}]}
                    };
                        None => self.pat_ty_unadjusted(pat)?,
                    self.pat_deref_place(pat.hir_id, place_with_id, pat, target_ty)?