object Test { def foo(): Unit = { try { for (i <- 1 until 5) return } catch { case _: NullPointerException | _: RuntimeException => // was: "catch block may intercept non-local return from method check" } } }