Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
nullness
/
init
/
Uninit5.java
blob: 9a2c0781abcc0426f276c7d6341dc49e9c2029b7 [
file
] [
log
] [
blame
]
public
class
Uninit5
{
// :: error: (initialization.field.uninitialized)
String
x
;
}