void () { @Language("JAVA") String classText = """ import java.util.RandomAccess; /** @noinspection ALL*/ class Test { public static void main(String[] args) { Object x = "foo"; System.out.println((String & CharSequence) x + "-" + (String & RandomAccess)x); } } """; 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.util.RandomAccess\n", null, null), Trinity.create("\tat Test.main(Test.java:7)\n", 7, 59)); checkColumnFinder(classText, traceAndPositions); }