{"ast_node_type":"variable","tokens":[{"end":62,"kind":"keyword","start":0,"text":"let"}]}
        let t_cast = self.lower_ty_saving_user_provided_ty(t);
        // if appropriate.
        let t_cast = self.resolve_vars_if_possible(t_cast);