interface Y {
    @withTypeUse.Nullable Object @withTypeUse.NotNull [] arr();
}