So far this proposal only supports the basic typing features and isn't enforceable per se.
I guess it depends on how the typing support will evolve.