diff --git a/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt b/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt index a1c19804d8..cb6bd5aaa3 100644 --- a/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt +++ b/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt @@ -26,10 +26,12 @@ (test-suite "Type Annotation tests" ;; FIXME - ask Ryan - (tat (ann foo : Number) (ret -Number)) + (tat (ann foo : Number) (ret -Number (make-NoFilter) (make-NoObject))) (tat foo #f) (tat (ann foo : 3) (ret (-val 3) (make-NoFilter) (make-NoObject))))) (define-go type-annotation-tests) + +