summaryrefslogtreecommitdiff
path: root/test/files/pos/S1.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/pos/S1.scala')
-rw-r--r--test/files/pos/S1.scala13
1 files changed, 0 insertions, 13 deletions
diff --git a/test/files/pos/S1.scala b/test/files/pos/S1.scala
deleted file mode 100644
index 68706e3dd3..0000000000
--- a/test/files/pos/S1.scala
+++ /dev/null
@@ -1,13 +0,0 @@
-/* This is probably no bug, I just don't understand why
-** type inference does not find the right instantiation of foo.
-** Currently it reports:
-**
-** S1.scala:12: inferred type arguments [S1] do not conform to
-** method foo's type parameter bounds [T <: S1.this.type]
-** foo(this);
-** ^
-*/
-class S1() {
- def foo[T <: this.type](x: T) = x;
- foo[this.type](this);
-}