diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index 9a6a7dd4a2..b127e08f41 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -96,8 +96,7 @@ (begin-for-syntax (define-splicing-syntax-class return (pattern ty:expr #:attr v #'(ret ty)) - (pattern (~seq #:ret r:expr) #:attr v #'r) - (pattern (~seq ty:expr f:expr o:expr) #:attr v #'(ret ty f o))) + (pattern (~seq #:ret r:expr) #:attr v #'r)) (define-splicing-syntax-class expected (pattern (~seq #:expected v:expr))