Reported by Remi.

The following program triggers a verification error:

public class X {
  static value class Entry<E> {
     private final int value;
     public Entry(int value) { this.value = value; }
     public static <E> Entry<E>[] of() {
     return (Entry<E>[]) (Object) new Entry<?>[0];
 }
}
public static void main(String[] args) {
 var entry = Entry.of();
 }
 }