scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-2038 make pt fully-defined when typing Typed	Adriaan Moors	2012-07-23	1	-0/+5
	dropExistential turns existentials in the expected type (pt) that's passed to `typed` into `BoundedWildcardType`s, but those should not end up in trees when typing a `Typed` node, we didn't check for the type being fully defined (`isFullyDefined`) (and thus did not make it fully defined by turning these BWTs into existentials again using `makeFullyDefined`)