semantic/test/fixtures/java/corpus/AssertStatement.B.java

class Dino {
  void fn() {
    assert failure : "expecting non null";
  }
}