But then it appears to just turn off type checking. This would be the cakiest cake ever for even a shoddy type inference engine.