public class Testing implements TraitFr<caret> {
    public static void test() {
    }
}

// EXIST: TraitFromJet