This directory discusses the examples from the paper | |
"Java and Scala's Type Systems are Unsound - The Existential Crisis of Null Pointers" | |
by Amin and Tate, OOPSLA 2016. | |
The un-annotated example programs all get rejected either by a Java 9+ javac or by the | |
Nullness Checker. | |
Figure3NC and Figure6NC are variations of the examples with nullness annotations. | |
Those versions pass the Nullness Checker, but result in ClassCastExceptions! |