Non-local returns are not implemented

[DarkDimius]

object NonLocalReturn {
 def foo(a: List[Int]): Int = {
   a.foreach(x => return x)
   0
  }
}

Return will reach backend as part of

    private def $anonfun$foo$1(x: Int): Nothing = return x

triggering an error:

assertion failed: Expected primitive types I - Lscala/runtime/Nothing$;

[DarkDimius]

This phase is substantially easier to implement before ExpandSAMs has run, as after some functions will become anonymous classes.

[odersky]

@DarkDimius I would have thought the opposite is true. To find out whether a non-local return is needed it would be good if SAMs and by-name parameters were already expanded. Or am I missing something here?

[odersky]

Currently we are blocked on this by #746.

Edit: nevermind: I just generated the obvious Typed patterns and the backend did the right thing for them.