Introduce Labeled blocks, and use them in PatternMatcher#4982

Merged

sjrd merged 2 commits intoscala:masterfrom

Aug 27, 2018

Commits on Aug 26, 2018

Give the Method flag to the label-defs produced by TailRec.
sjrd
committed

Commits on Aug 27, 2018

Introduce Labeled blocks, and use them in PatternMatcher.
sjrd
committed