Weird Error Message from require/typed

[rvs314]

What version of Racket are you using?

Racket 8.10 [cs]

What program did you run?

#lang typed/racket

(require/typed racket/stream
  [prop:stream  (Struct-Property Any)]
  [stream->list (-> (Has-Struct-Property prop:stream) (List Any))])

What should have happened?

I'dve liked it to have run without error

If you got an error message, please include it here.

syntax-property: contract violation
  expected: syntax?
  given: #f
Context (plain):
 /usr/share/racket/pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt:1400:0 has-struct-property->sc
 .../private/map.rkt:40:19 loop
 .../match/compiler.rkt:559:40 f3057
 /usr/share/racket/pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt:335:2 
 .../private/parse-interp.rkt:643:50 
 /usr/share/racket/pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt:239:0 change-contract-fixups
 /usr/share/racket/pkgs/typed-racket-lib/typed-racket/core.rkt:56:10 
 /usr/share/racket/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4