Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
IntroShift.java
blob: f89a9e6657a5b9484d29a7729e64938af3d69450 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
index
.
qual
.
NonNegative
;
public
class
IntroShift
{
void
test
()
{
@NonNegative
int
a
=
1
>>
1
;
// :: error: (assignment)
@NonNegative
int
b
=
-
1
>>
0
;
}
}