diff options
Diffstat (limited to 'tests/pending/hkt')
-rw-r--r-- | tests/pending/hkt/compiler.error | 6 | ||||
-rw-r--r-- | tests/pending/hkt/hkt.scala | 15 |
2 files changed, 0 insertions, 21 deletions
diff --git a/tests/pending/hkt/compiler.error b/tests/pending/hkt/compiler.error deleted file mode 100644 index b31760891..000000000 --- a/tests/pending/hkt/compiler.error +++ /dev/null @@ -1,6 +0,0 @@ -$ scalac tests/pending/hkt/*.scala -$ ./bin/dotc tests/pending/hkt/*.scala -tests/pending/hkt/hkt.scala:14: error: method empty in object Child does not take type parameters - Child.empty[Int] - ^ -one error found diff --git a/tests/pending/hkt/hkt.scala b/tests/pending/hkt/hkt.scala deleted file mode 100644 index 34858cd95..000000000 --- a/tests/pending/hkt/hkt.scala +++ /dev/null @@ -1,15 +0,0 @@ -import scala.language.higherKinds -// Minimal reproduction for: -// scala.collection.mutable.ArrayStack.empty[Int] - -abstract class Super[C[_]] { - def empty[T]: C[T] = ??? -} - -class Child[T] - -object Child extends Super[Child] { - def empty: Child[Nothing] = new Child() - - Child.empty[Int] -} |