Probably the big one is non-nullable types [1], aka 'The Billion Dollar Mistake', which would break everything.
[1] https://gist.github.com/olmobrutall/31d2abafe0b21b017d56
[1] https://gist.github.com/olmobrutall/31d2abafe0b21b017d56
Seems to go against null propagation operator though :)