{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
        let subty = self.infer_pat(inner_pat, &expectation_type, default_bm, decl);
        };
        TyKind::Ref(mutability, expectation_lt, subty).intern(Interner)