[dralley]

Just because your code compiles on a new platform doesn't mean the prior assumptions of the prior behavior of the types remains valid.

[duped]

But it should, and that's what stricter typing can help with.