diff --git a/collects/tests/typed-racket/succeed/pr11545+11776.rkt b/collects/tests/typed-racket/succeed/pr11545+11776.rkt
index ed867a90..a6548877 100644
--- a/collects/tests/typed-racket/succeed/pr11545+11776.rkt
+++ b/collects/tests/typed-racket/succeed/pr11545+11776.rkt
@@ -7,4 +7,4 @@
 (define (thing)
   ((inst stuff)))
 
-(inst values)
+(inst values Any)
diff --git a/collects/tests/typed-racket/succeed/values-object.rkt b/collects/tests/typed-racket/succeed/values-object.rkt
new file mode 100644
index 00000000..3504fdaf
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/values-object.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket
+
+(define v values)
+;(define v identity)
+
+(: f (Boolean -> #f))
+(define (f x) (if (v x) #f x))
diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 2a2b174e..ee0a3016 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -1366,7 +1366,8 @@
 
 
 
-[values (-polydots (a) (null (a a) . ->... . (make-ValuesDots null a 'a)))]
+[values (-polydots (b a) (cl->* (->acc (list b) b null)
+                                (null (a a) . ->... . (make-ValuesDots null a 'a))))]
 [call-with-values (-polydots (b a) ((-> (make-ValuesDots null a 'a)) (null (a a) . ->... . b) . -> .  b))]
 
 [read-accept-reader (-Param B B)]