diff --git a/racket/collects/racket/contract/private/base.rkt b/racket/collects/racket/contract/private/base.rkt index 1249b29e8b..ca855c4e6a 100644 --- a/racket/collects/racket/contract/private/base.rkt +++ b/racket/collects/racket/contract/private/base.rkt @@ -210,7 +210,9 @@ [(chaperone-recursive-contract? ctc) (coerce-chaperone-contract 'recursive-contract (thunk))] [(impersonator-recursive-contract? ctc) - (coerce-contract 'recursive-contract (thunk))])) + (coerce-contract 'recursive-contract (thunk))] + [else ;; internal error + (raise-argument-error 'force-recursive-contract "recursive-contract?" ctc)])) (when (recursive-contract-list-contract? ctc) (unless (list-contract? forced-ctc) (raise-argument-error 'recursive-contract "list-contract?" forced-ctc)))