{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"ExprKind::Type(e,"}]}
            ExprKind::Type(e, t) => {
            ExprKind::Cast(e, t) => self.check_expr_cast(e, t, expr),
                let ascribed_ty = self.lower_ty_saving_user_provided_ty(t);