diff --git a/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt index d3df2b39..cb148a9f 100644 --- a/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt +++ b/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt @@ -851,7 +851,6 @@ (list (make-arr* (list Univ) (or (and maybe-type (car maybe-type)) Univ) - #:filters -no-filter #:object (make-Path (list (make-FieldPE)) getter-id)))) (-> Univ (or (and maybe-type (car maybe-type)) -Bottom)