Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
SuperCall.java
blob: 58495625034c44818142e0186827005999efa95c [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
SuperCall
{
public
static
class
A
{
public
A
(
@NonNull
Object
arg
)
{}
}
public
static
class
B
extends
A
{
public
B
(
@Nullable
Object
arg
)
{
// :: error: (argument)
super
(
arg
);
}
}
}