package org.example; import org.jspecify.annotations.NullMarked; class SimpleArrayTest { static class Container { @NullMarked abstract static class ArraySameType { interface Lib { T get(); } abstract void useArray(Lib l); //not expected abstract Lib useArray2(); //not expected } } }