Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
BinaryOp.java
blob: 5ee9d3d29d162077b09a98a9c9b5492ab99a9b9d [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
initialization
.
qual
.*;
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
BinaryOp
{
void
test
(
@UnknownInitialization
Object
obj
)
{
throw
new
Error
(
""
+
obj
);
}
}