Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
java8
/
Issue720.java
blob: 92beb01ad41c1b09f0bb51c3bb1944561c021869 [
file
] [
log
] [
blame
]
// Test case for issue #720:
// https://github.com/typetools/checker-framework/issues/720
import
java
.
util
.
function
.
IntConsumer
;
public
class
Issue720
{
static
IntConsumer
consumer
=
Issue720
::
method
;
static
int
method
(
int
x
)
{
return
x
;
}
}