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