public class Foo { void m(Boolean x) { assert x;<caret> return; } }