{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
                let ascribed_ty = self.lower_ty_saving_user_provided_ty(t);
            ExprKind::Type(e, t) => {
                let ty = self.check_expr_with_hint(e, ascribed_ty);