Checking

The checking state

Why visited is a set of effects instead of Symbol? Think the following program:

class C(x: Int, a: A @cold) {
  val n = if (x > 0) new C(x - 1, a).m() else 0
  val b: Int = this.m()
  def m(): Int = b
}

Check that the given concrete class may be initialized safely

It assumes that all definitions are properly summarized before-hand. However, summarization can be done lazily on-demand to improve performance.