On: Pyre: Fast Type Checking for Python

[saagarjha]

But the compiler checks for this by default, so you'll get a warning unless you really break the type system.