diff --git a/collects/tests/typed-scheme/succeed/pr11897.rkt b/collects/tests/typed-scheme/succeed/pr11897.rkt
new file mode 100644
index 0000000000..70fc6ddaa1
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/pr11897.rkt
@@ -0,0 +1,6 @@
+#lang typed/racket
+
+(: x Index)
+(define x 7)
+
+(provide x)
diff --git a/collects/typed-scheme/private/type-contract.rkt b/collects/typed-scheme/private/type-contract.rkt
index 98d53fdf30..ef7c558bda 100644
--- a/collects/typed-scheme/private/type-contract.rkt
+++ b/collects/typed-scheme/private/type-contract.rkt
@@ -15,6 +15,7 @@
  racket/match unstable/match syntax/struct syntax/stx mzlib/trace racket/syntax scheme/list 
  (only-in scheme/contract -> ->* case-> cons/c flat-rec-contract provide/contract any/c)
  (for-template scheme/base racket/contract (utils any-wrap)
+               (prefix-in t: (types numeric-predicates))
 	       (only-in scheme/class object% is-a?/c subclass?/c object-contract class/c init object/c class?)))
 
 (define (define/fixup-contract? stx)