<div dir="ltr"><div><div><div><div><div>It seems like `cast` doesn&#39;t work at all in typed/racket/no-check:<br><br></div>#lang typed/racket/no-check<br><br></div>(cast 5 Number)<br><br>../../usr/lib/racket/collects/racket/contract/private/blame.rkt:89:0: 5: broke its contract<br>

 promised: #f<br> produced: 5<br> in: #f<br> contract from: cast<br> blaming: cast<br> at: unsaved-editor1086360:3.0<br><br></div>The same error results if you do<br><br></div>(cast 5 String)<br><br></div>Is there an easy workaround for this?</div>