diff --git a/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt b/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt index 6a3960412d..8e78418aa9 100644 --- a/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt +++ b/pkgs/racket-test/tests/racket/contract/unconstrained-domain.rkt @@ -85,4 +85,17 @@ 'neg)) #t) #t) + + (test/spec-passed/result + 'unconstrained/domain->/chaperone + '(chaperone-contract? (unconstrained-domain-> number?)) + #t) + + (test/spec-passed/result + 'unconstrained/domain->/impersonator + '(let ((ctc (unconstrained-domain-> + (recursive-contract number? #:impersonator)))) + (and (impersonator-contract? ctc) + (not (chaperone-contract? ctc)))) + #t) ) diff --git a/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt b/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt index a44d096803..56878fafa2 100644 --- a/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt +++ b/racket/collects/racket/contract/private/unconstrained-domain-arrow.rkt @@ -120,8 +120,8 @@ (define-struct (impersonator-unconstrained-domain-> unconstrained-domain->) () #:property - prop:chaperone-contract - (build-chaperone-contract-property + prop:contract + (build-contract-property #:trusted trust-me #:name unconstrained-domain->-name #:first-order unconstrained-domain->-first-order