checker/tests/interning/Creation2.java

import org.checkerframework.checker.interning.qual.Interned;

public class Creation2 {

  @Interned class Baz {
    @SuppressWarnings({"inconsistent.constructor.type", "super.invocation"})
    @Interned Baz() {}
  }

  void test() {
    Baz b = new Baz();
  }
}