It's actually a fairly frequent fact of programming language development that type resolution can change across versions. Haskell famously has a ton of extensio

It's actually a fairly frequent fact of programming language development that type resolution can change across versions. Haskell famously has a ton of extensions that enhance the type system in various, potentially incompatible ways. In fact the question of whether a code type-checks is itself undecidable.