There's a whole 6.1 section in "Java and Scala Type Systems are Unsound" [0] dedicated to "nonsense types". [0] https://raw.githubusercontent.com/namin/unsound

There's a whole 6.1 section in "Java and Scala Type Systems are Unsound" [0] dedicated to "nonsense types". [0] https://raw.githubusercontent.com/namin/unsound/master/doc/unsound-oopsla16.pdf https://raw.githubusercontent.com/namin/unsound/master/doc/u...