Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
LessThanConstantAddition.java
blob: 1986089e4c0f1b5f37484fd42dc0431196441367 [
file
] [
log
] [
blame
] [
edit
]
// Test case for issue #2541: https://github.com/typetools/checker-framework/issues/2541
public
class
LessThanConstantAddition
{
public
static
void
checkedPow
(
int
b
)
{
if
(
b
<=
2
)
{
int
c
=
(
int
)
b
;
}
}
}