diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 2a216afb..05fe894a 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -1762,7 +1762,7 @@
 [file-stream-buffer-mode (cl-> [(-Port) (one-of/c 'none 'line 'block #f)]
                                [(-Port (one-of/c 'none 'line 'block)) -Void])]
 [file-position (cl-> [(-Port) -Nat]
-                     [(-Port -Integer) -Void])]
+                     [(-Port (Un -Integer (-val eof))) -Void])]
 [file-position* (-> -Port (Un -Nat (-val #f)))]
 
 ;; Section 13.1.4
diff --git a/typed-racket-test/succeed/ports.rkt b/typed-racket-test/succeed/ports.rkt
index 4c6f8af6..f96990d6 100644
--- a/typed-racket-test/succeed/ports.rkt
+++ b/typed-racket-test/succeed/ports.rkt
@@ -31,6 +31,8 @@
 (read my-output-reader)
 (get-output-bytes my-error-port)
 
+(file-position my-input eof)
+
 (close-input-port my-input)
 (close-input-port my-output-reader)
 (close-output-port my-output)