Instead of failing with an error at compile time, it will emit code that, if run, will fail with a 'type error' at run time.