void () { @Language("JAVA") String classText = """ import java.util.Collections; import java.util.List; /** @noinspection ALL*/ class Test { public static void main(String[] args) { List<String> origList = Collections.singletonList("foo"); List<Integer> casted = (List<Integer>) (List<?>) origList; System.out.println(origList.get(0).length()+casted.get(0)); } } """; List<Trinity<String, Integer, Integer>> traceAndPositions = Arrays.asList( Trinity.create("Exception in thread \"main\" java.lang.ClassCastException: class java.lang.String cannot be cast to class java.lang.Integer\n", null, null), Trinity.create("\tat Test.main(Test.java:9)\n", 9, 56)); checkColumnFinder(classText, traceAndPositions); }