test/files/run/disable-assertions.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

object Elided {
  import annotation._, elidable._
  @elidable(INFO) def info(): Boolean = true
  @elidable(10000) def f(): Boolean = true
  def g(): Boolean = { assert(false); true }
}

object Test extends App {
  import Elided._
  if (info()) println("Bad info.")
  if (!f()) println("Elided f.")
  if (!g()) println("Elided g?")   // assert should be off
}