package test; public class Testing { void f() { MainK<caret> } } // EXIST: MainKt // INVOCATION_COUNT: 2