diff --git a/collects/racket/private/class-internal.rkt b/collects/racket/private/class-internal.rkt index e33dcc8b66..94f472ac6c 100644 --- a/collects/racket/private/class-internal.rkt +++ b/collects/racket/private/class-internal.rkt @@ -3196,8 +3196,6 @@ An example [handled-args null]) (cond [(null? init-args) - (unless (null? inits/c) - (raise-blame-error bswap #f "initialization argument not provided\n init-arg: ~a" (car (car inits/c)))) (reverse handled-args)] [(null? inits/c) (append (reverse handled-args) init-args)] diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl index 057dd4b9ec..0b56827415 100644 --- a/collects/tests/racket/contract-test.rktl +++ b/collects/tests/racket/contract-test.rktl @@ -8032,13 +8032,6 @@ [d%/c/c (contract (class/c (init [a number?])) d%/c 'pos 'neg)]) (new d%/c/c [a #t] [a "foo"]))) - ;; Check that we catch not providing init args metioned in the contract - (test/neg-blame - 'class/c-higher-order-init-9 - '(let* ([c% (class object% (super-new) (init [a 3]))] - [c%/c (contract (class/c (init [a integer?])) c% 'pos 'neg)]) - (new c%/c))) - (test/spec-passed 'class/c-higher-order-init-field-1 '(let ([c% (contract (class/c (init-field [f (-> number? number?)]))