NotNullIntArray.java

package test;

import org.jetbrains.annotations.NotNull;

public class NotNullIntArray {
    @NotNull
    public int[] hi() { return null; }
}