scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Modified erasure not to generate instance tests...	Paul Phillips	2011-06-07	1	-0/+9
	Modified erasure not to generate instance tests for statically known types. It appears the production of types like "Foo with Bar" in the pattern matcher (where the scrutinee is known to be Foo) has been a major contributor of suboptimal pattern matches. I will also fix it in the matcher, but it makes sense to catch it in erasure as both a check on the matcher and because they may come from elsewhere too. Review by odersky.