#;
(exn-pred exn:fail:contract?)
#lang racket

(module typed typed/racket
  (: d Any)
  (define d (delay (lambda: ([x : Integer]) (+ x 1))))
  (provide d))

(require 'typed)

;; this line should raise a ctc error
((force d) 6)


#;
(exn-pred #rx"Attempted to use a higher-order value passed as `Any`")
#lang racket

(module typed typed/racket
  (: d Any)
  (define d (delay (lambda: ([x : Integer]) (+ x 1))))
  (provide d))

(require 'typed)

;; this line should raise a ctc error
((force d) 6)


Test the error message instead of a predicate
Test the error message instead of a predicate

This test was broken prior to commit 370c4bd but
didn't fail because the test harness didn't test for
the right error.
