scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-9369 Fix pattern matcher warnings for diamond shaped inheritance.	Gerard Basler	2015-09-12	1	-0/+1
	A previous optimization (d44a86f432a7f9ca250b014acdeab02ac9f2c304) for pattern matcher exhaustivity checks used a smarter encoding to ensure that the scrutinee can be equal to one child only. However, in case of traits between the root and leave type, a child can be of several types and these types should not be in a mutually exclusive group. A simple solution (hat tip to retronym) is to just put traits and classes into separate groups.