aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
diff options
context:
space:
mode:
Diffstat (limited to 'tests/neg')
-rw-r--r--tests/neg/hklower.scala11
-rw-r--r--tests/neg/hklower2.scala4
2 files changed, 4 insertions, 11 deletions
diff --git a/tests/neg/hklower.scala b/tests/neg/hklower.scala
deleted file mode 100644
index e1e79070e..000000000
--- a/tests/neg/hklower.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-class Test { // error: conflicting bounds
-
- type T[X] // OK
- type U[X] = T[X] // OK
-
- type V[X] >: T[X] // error
- type W[X] >: T[X] <: T[X] // error
-
- def f[C[X] >: T[X]]() = ??? // error
-
-}
diff --git a/tests/neg/hklower2.scala b/tests/neg/hklower2.scala
new file mode 100644
index 000000000..8268bf09f
--- /dev/null
+++ b/tests/neg/hklower2.scala
@@ -0,0 +1,4 @@
+class Test { // error: conflicting bounds
+ trait T[X]
+ type Z[X] >: String <: T[X]
+}