checker/tests/initialization/CastInit.java

import org.checkerframework.checker.initialization.qual.Initialized;
import org.checkerframework.checker.initialization.qual.UnknownInitialization;

public class CastInit {

  public CastInit() {
    @UnknownInitialization CastInit t1 = (@UnknownInitialization CastInit) this;
    // :: error: (initialization.cast)
    @Initialized CastInit t2 = (@Initialized CastInit) this;
  }
}