DEBSOURCES
Skip Quicknav
sources / checker-framework-java / 3.2.0%2Bds-3 / framework / tests / value / StringValCrash.java
123456789
import java.util.List; public class StringValCrash { void foo() { List<String> path = null; System.out.print(path.size() + "..."); } }