Invalid type application breaks statics throwing exception

[7h3kk1d]

Trying to write this expression with an invalid type Int(7) or Int(Float) throws an exception as soon as you try to assign it a value.

This triggers a statics exception (Failure "type application in dynamics")

type x = Int(Float) in let y : x =  1

This alone triggers an exception (Failure "type application in dynamics") in dynamics:

type x = Int(Float) in let y : x