scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-6008 use static knowledge of success of type tests	Adriaan Moors	2012-07-05	1	-0/+1
	augment the equality axioms to take into account that a type test against the static type of a variable succeeds unless the variable is null for exhaustivity we disregard null, so the type test always succeeds during unreachability we model this knowledge as the obvious implication