Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
Issue2629.java
blob: 851c8accc9014ceddd68362ae48c6ee1c6114823 [
file
] [
log
] [
blame
]
// Test case for Issue 2629
// https://github.com/typetools/checker-framework/issues/2629
import
org
.
checkerframework
.
checker
.
index
.
qual
.
LessThan
;
public
class
Issue2629
{
@LessThan
(
"#1 + 1"
)
int
test
(
int
a
)
{
return
a
;
}
}