diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-02 10:21:12 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:43:08 +0100 |
commit | ec4a3a0f4d0b8cccf636d1608896e7cafba9dec0 (patch) | |
tree | 9b732c1937b3d781b117a445a95c7f5e6ffb8bbf /tests/neg/ski.scala | |
parent | d34256c14a507dbdaea10bd83e8006cdafb9c799 (diff) | |
download | dotty-ec4a3a0f4d0b8cccf636d1608896e7cafba9dec0.tar.gz dotty-ec4a3a0f4d0b8cccf636d1608896e7cafba9dec0.tar.bz2 dotty-ec4a3a0f4d0b8cccf636d1608896e7cafba9dec0.zip |
Big realizability refactoring
Move logic from TypeOps to new file CheckRealizable.scala.
Also check realizable fields under strict mode.
Check at phase PostTyper rather than Typer to avoid cycles.
New tests for imports and deep paths.
Diffstat (limited to 'tests/neg/ski.scala')
-rw-r--r-- | tests/neg/ski.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/neg/ski.scala b/tests/neg/ski.scala index 8fb35c7f2..b192dc9e2 100644 --- a/tests/neg/ski.scala +++ b/tests/neg/ski.scala @@ -64,9 +64,9 @@ case class Equals[A >: B <:B , B]() object Test { type T1 = Equals[Int, Int] // compiles fine - type T2 = Equals[String, Int] // was error, now masked + type T2 = Equals[String, Int] // error type T3 = Equals[I#ap[c]#eval, c] - type T3a = Equals[I#ap[c]#eval, d] // was error, now masked + type T3a = Equals[I#ap[c]#eval, d] // error // Ic -> c type T4 = Equals[I#ap[c]#eval, c] |