{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
        let ty = self.insert_type_vars_shallow(ty);
        // use a new type variable if we got unknown here
        self.write_expr_ty(tgt_expr, ty.clone());