{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
                let opaque = self.new_opaque(ty);
                let ty = self.local_decls[local].ty;
                self.assign(local, opaque);