dotty - Research platform for new language concepts and compiler technologies for Scala.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disallow refinements of types or methods that do not appear in parent.	Martin Odersky	2015-03-18	1	-7/+4
\| \| \| \| \| \| \| \|	We planned this for a long time but never implemented it. Instead, we sometimes issued an erro in Splitter, namely if reflection would have been needed to access the member. It turns out that some tests (e.g. neg/t625) fail -Ycheck (we knew that before and disabled) but also fail Pickling because they generate orhpan PolyParams. So rather than patching this up it seems now is a good time to enforce the restriction for real.
*	Fix subtyping of null and refined types.	Martin Odersky	2014-12-13	1	-0/+19