integerComparison.java

package templates;

public class Foo {
    void m(boolean[] xs) {
        xs.length > 0.assert<caret>
    }
}