scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-9658 Fix crosstalk between partial fun. and GADT match	Jason Zaugg	2016-03-04	1	-0/+10
	When typechecking the synthetic default case of a pattern matching anonymous partial function, we failed to create a new `Context`. This led to crosstalk with the management of the saved type bounds of an enclosing GADT pattern match. This commit avoids the direct call to `typeCase` and instead indirects through `typedCases`, which spawns a new nested typer context, and hence avoids the crosstalk when `restoreSavedTypeBounds` runs.