NonGenericModelClassExampleBugSub.java

package tests;

public class NonGenericModelClassExampleBugSub extends NonGenericModelClassExampleBug {
    
/*@
     public static model class IndexedContents extends NonGenericModelClassExampleBug.Contents {
          public boolean foo() { return false; }
     }
@*/
    
    protected NonGenericModelClassExampleBugSub() {}

}