import java.io.Serializable; | |
import org.checkerframework.checker.nullness.qual.*; | |
// :: warning: (explicit.annotation.ignored) | |
public class Issue3349<T extends @NonNull Object & @Nullable Serializable> { | |
void foo(T p1) { | |
@NonNull Serializable s = p1; | |
@NonNull Object o = p1; | |
} | |
} |