Allow AnyValues as a return type in user code

Closes PR 14217

typed-racket-lib/typed-racket/base-env/base-types-extra.rkt

@@ -16,7 +16,7 @@
 ;; special type names that are not bound to particular types
 (define-other-types
   -> ->* case-> U Rec All Opaque Vector
-  Parameterof List List* Class Object Values Instance Refinement
+  Parameterof List List* Class Object Values AnyValues Instance Refinement
   pred Struct Struct-Type Prefab Top Bot Distinction)
 
 (provide (rename-out [All ∀]

typed-racket-lib/typed-racket/private/parse-type.rkt

@@ -98,6 +98,7 @@
 (define-literal-syntax-class #:for-label Prefab)
 (define-literal-syntax-class #:for-label Values)
 (define-literal-syntax-class #:for-label values)
+(define-literal-syntax-class #:for-label AnyValues)
 (define-literal-syntax-class #:for-label Top)
 (define-literal-syntax-class #:for-label Bot)
 (define-literal-syntax-class #:for-label Distinction)
@@ -622,7 +623,7 @@
        (-Tuple (parse-types #'(tys ...)))])))
 
 ;; Syntax -> Type
-;; Parse a (Values ...) type
+;; Parse a (Values ...) or AnyValues type
 (define (parse-values-type stx)
   (parameterize ([current-orig-stx stx])
     (syntax-parse stx
@@ -644,6 +645,7 @@
                        var))]
       [((~or :Values^ :values^) tys ...)
        (-values (parse-types #'(tys ...)))]
+      [:AnyValues^ ManyUniv]
       [t
        (-values (list (parse-type #'t)))])))
 
@@ -874,6 +876,7 @@
      (ret (parse-types #'(t ...))
           (stx-map (lambda (x) -no-filter) #'(t ...))
           (stx-map (lambda (x) -no-obj) #'(t ...)))]
+    [:AnyValues^ (tc-any-results -no-filter)]
     [t (ret (parse-type #'t) -no-filter -no-obj)]))
 
 (define parse-type/id (parse/id parse-type))

typed-racket-test/succeed/pr14217.rkt

@@ -0,0 +1,5 @@
+#lang typed/racket
+(: foo (-> Integer AnyValues))
+(define (foo x)
+  x)
+(foo 5)

typed-racket-test/unit-tests/parse-type-tests.rkt

@@ -134,6 +134,7 @@
     (-polydots (a) ((list) [a a] . ->... . N))]
    [(All (a ...) (-> (values a ...)))
     (-polydots (a) (t:-> (make-ValuesDots (list) a 'a)))]
+   [(-> Number AnyValues) (t:-> N ManyUniv)]
 
    ;; PR 14554, non-productive recursive type
    [FAIL (Rec x (All (A #:row) x))]