Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
value
/
Issue2353.java
blob: df6a5370746a80f46f1176cbb649a5066e697b81 [
file
] [
log
] [
blame
]
@SuppressWarnings
(
"deprecation"
)
// Deprecated in Java 11
public
class
Issue2353
{
public
static
void
play
()
{
Integer
a
=
new
Integer
(
"2"
);
}
}