[racket] typed/racket and contract boundaries

On 2014-01-27 08:40:38 -0800, Eric Dobson wrote:
> This is likely a bug, but I cannot reproduce using the following
> program. Do you have a small test case?

I talked to Spencer and we found this example that produces the same
output:

  (module a typed/racket
    (: g ((U (Parameterof (-> Void)) (-> Void)) -> Void))
    (define (g p) p (void))
    (provide g))
  (require 'a)
  (g (make-parameter void))

It seems to be specific to having a `Parameterof` containing a
function type unioned with a function type.

Cheers,
Asumu