diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-08-20 21:05:32 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-20 21:05:32 -0700 |
commit | f19b6dd8371b6dd7cf45279d97e0fa6702e7365a (patch) | |
tree | 4c3c90081c90663df2bc4316159e37117272efe8 /tests/pending | |
parent | 5a5f9d7ed37ca6449ef61ee5e0f6fbf9731df795 (diff) | |
parent | b8bb504035b5178dfe82cc42e818e3e8fb591465 (diff) | |
download | dotty-f19b6dd8371b6dd7cf45279d97e0fa6702e7365a.tar.gz dotty-f19b6dd8371b6dd7cf45279d97e0fa6702e7365a.tar.bz2 dotty-f19b6dd8371b6dd7cf45279d97e0fa6702e7365a.zip |
Merge pull request #1458 from dotty-staging/fix-compare-singletons
Fixes for comparing and avoiding singletons
Diffstat (limited to 'tests/pending')
-rw-r--r-- | tests/pending/pos/spec-t5545/S_1.scala | 4 | ||||
-rw-r--r-- | tests/pending/pos/spec-t5545/S_2.scala | 4 | ||||
-rw-r--r-- | tests/pending/pos/z1720.scala | 16 |
3 files changed, 0 insertions, 24 deletions
diff --git a/tests/pending/pos/spec-t5545/S_1.scala b/tests/pending/pos/spec-t5545/S_1.scala deleted file mode 100644 index 59ec1fd85..000000000 --- a/tests/pending/pos/spec-t5545/S_1.scala +++ /dev/null @@ -1,4 +0,0 @@ -trait F[@specialized(Int) T1, R] { - def f(v1: T1): R - def g = v1 => f(v1) -} diff --git a/tests/pending/pos/spec-t5545/S_2.scala b/tests/pending/pos/spec-t5545/S_2.scala deleted file mode 100644 index 59ec1fd85..000000000 --- a/tests/pending/pos/spec-t5545/S_2.scala +++ /dev/null @@ -1,4 +0,0 @@ -trait F[@specialized(Int) T1, R] { - def f(v1: T1): R - def g = v1 => f(v1) -} 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) -} |