{"ast_node_type":"variable","tokens":[{"end":100,"kind":"keyword","start":0,"text":"let"}]}
                        let subpattern = DeconstructedPat::new(Str(*value), Vec::new(), 0, ty, pat);
                        let ty = self.reveal_opaque_ty(*t);
                        ctor = Ref;