import org.checkerframework.checker.interning.qual.Interned; | |
public @Interned class RecursiveClass< | |
T extends RecursiveClass<T, F>, F extends RecursiveClass<T, F>> { | |
static @Interned class InternedClass {} | |
static class Generic<T extends InternedClass, S extends T> {} | |
static @Interned class RecursiveClass2<G extends RecursiveClass2<G>> {} | |
} |