1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// Test case for Issue 813
// https://github.com/typetools/checker-framework/issues/813
// @skip-test
import org.checkerframework.checker.initialization.qual.NotOnlyInitialized;
import org.checkerframework.checker.initialization.qual.UnderInitialization;
class Issue813 {
static interface MyInterface {}
static class MyClass {
MyClass(@UnderInitialization MyInterface stuff) {}
}
static class Fails implements MyInterface {
@NotOnlyInitialized MyClass bar = new MyClass(this);
}
static class Works implements MyInterface {
@NotOnlyInitialized MyClass bar;
{
bar = new MyClass(this); // works
}
}
}
|
