Reports unreachable code (using DFA).

Example:

  def test(): Unit = {
    val x = 1
    if (x == 1) throw new Exception()
    println("this will never be reached")
  }

After the quick-fix is applied:

  def test(): Unit = {
    val x = 1
    if (x == 1) throw new Exception()
  }