summaryrefslogtreecommitdiff
path: root/test/pending/neg/tcpoly_typealias_eta.scala
diff options
context:
space:
mode:
authorSeth Tisue <seth@tisue.net>2017-03-21 10:35:05 -0700
committerSeth Tisue <seth@tisue.net>2017-03-21 10:35:05 -0700
commit4b9816100c704fd8ecfb1a8fa66f86e6284c07cb (patch)
tree5f748bbc562da8803513444375659f7cd96496f5 /test/pending/neg/tcpoly_typealias_eta.scala
parent25048bc73741846107c18ed01e0e9f6f07785379 (diff)
downloadscala-4b9816100c704fd8ecfb1a8fa66f86e6284c07cb.tar.gz
scala-4b9816100c704fd8ecfb1a8fa66f86e6284c07cb.tar.bz2
scala-4b9816100c704fd8ecfb1a8fa66f86e6284c07cb.zip
remove test/pending directory too
it will all stay right there in the Git history to be consulted anytime we want...
Diffstat (limited to 'test/pending/neg/tcpoly_typealias_eta.scala')
-rw-r--r--test/pending/neg/tcpoly_typealias_eta.scala46
1 files changed, 0 insertions, 46 deletions
diff --git a/test/pending/neg/tcpoly_typealias_eta.scala b/test/pending/neg/tcpoly_typealias_eta.scala
deleted file mode 100644
index 033c911f7c..0000000000
--- a/test/pending/neg/tcpoly_typealias_eta.scala
+++ /dev/null
@@ -1,46 +0,0 @@
-trait A {
- type m[+x]
-}
-
-trait A2 {
- type m[+x <: String]
-}
-
-trait A3 {
- type m[x]
-}
-
-trait FooCov[+x]
-trait FooCon[-x]
-trait FooBound[+x <: String]
-
-trait BOk1 extends A {
- type m/*[+x]*/ = FooCov/*[x]*/
-}
-
-trait BOk2 extends A2 {
- type m/*[+x <: String]*/ = FooBound/*[x]*/
-}
-
-trait BOk3 extends A2 {
- type m/*[+x]*/ = FooCov/*[x]*/ // weaker bound
-}
-
-trait BOk4 extends A3 {
- type m/*[+x]*/ = FooCov/*[x]*/ // weaker variance
-}
-
-// there are two aspects to check:
- // does type alias signature (not considering RHS) correspond to abstract type member in super class
- // does RHS correspond to the type alias sig
-trait BInv extends A{
- type m/*[x]*/ = FooCov/*[x]*/ // error: invariant x in alias def
-}
-
-trait BCon extends A{
- type m/*[-x]*/ = FooCon/*[x]*/ // error: contravariant x
-}
-
-trait BBound extends A{
- type m/*[+x <: String]*/ = FooBound/*[x]*/ // error: x with stricter bound
-}