diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-08-18 09:08:34 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-08-18 10:10:01 +0200 |
| commit | f4ab855b03e9fc0fac31018bf9383220d2399697 (patch) | |
| tree | 1ceae06e1b7b033cde52d8954640cdc66074220a /tests/pending | |
| parent | 5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795 (diff) | |
| download | dotty-f4ab855b03e9fc0fac31018bf9383220d2399697.tar.gz dotty-f4ab855b03e9fc0fac31018bf9383220d2399697.tar.bz2 dotty-f4ab855b03e9fc0fac31018bf9383220d2399697.zip | |
Fixes in comparisons between singleton types
Needed to address problem shown by z1720.scala.
Another fix to avoidance is needed to make it pass completely.
Diffstat (limited to 'tests/pending')
| -rw-r--r-- | tests/pending/pos/z1720.scala | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tests/pending/pos/z1720.scala b/tests/pending/pos/z1720.scala deleted file mode 100644 index 7394d428c..000000000 --- a/tests/pending/pos/z1720.scala +++ /dev/null @@ -1,16 +0,0 @@ -package test - -class Thing { - def info: Info[this.type] = InfoRepository.getInfo(this) - def info2: Info[this.type] = { - def self: this.type = this - InfoRepository.getInfo(self) - } -} - -trait Info[T] -case class InfoImpl[T](thing: T) extends Info[T] - -object InfoRepository { - def getInfo(t: Thing): Info[t.type] = InfoImpl(t) -} |