framework/tests/all-systems/Issue3277.java

// Test case for Issue 3277:
// https://github.com/typetools/checker-framework/issues/3277

// Any arbitrary annotation can be used.
import org.checkerframework.common.aliasing.qual.MaybeAliased;

public class Issue3277 {
  <T> void f() {
    Object o = new @MaybeAliased Generic<?>[0];
    o = new Generic<@MaybeAliased ?>[0];
  }

  // TODO: Having the same code in fields crashes javac
  // with an AssertionError.
  // Object o1 = new @MaybeAliased Generic<?>[0];
  // Object o2 = new Generic<@MaybeAliased ?>[0];

  class Generic<U> {}
}