checker/tests/initialization/Issue813.java

// 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;

public 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
    }
  }
}