diff options
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t0204.check | 4 | ||||
-rwxr-xr-x | test/files/neg/t0204.scala | 5 | ||||
-rw-r--r-- | test/files/neg/t0207.check | 7 | ||||
-rwxr-xr-x | test/files/neg/t0207.scala | 4 |
4 files changed, 20 insertions, 0 deletions
diff --git a/test/files/neg/t0204.check b/test/files/neg/t0204.check new file mode 100644 index 0000000000..5af6d146d5 --- /dev/null +++ b/test/files/neg/t0204.check @@ -0,0 +1,4 @@ +t0204.scala:4: error: class type required + trait C extends B
+ ^ +one error found diff --git a/test/files/neg/t0204.scala b/test/files/neg/t0204.scala new file mode 100755 index 0000000000..0de9d9d16d --- /dev/null +++ b/test/files/neg/t0204.scala @@ -0,0 +1,5 @@ +object Program { + trait A { type T } + type B = A { type T = String } + trait C extends B +} diff --git a/test/files/neg/t0207.check b/test/files/neg/t0207.check new file mode 100644 index 0000000000..b1d8d42ffb --- /dev/null +++ b/test/files/neg/t0207.check @@ -0,0 +1,7 @@ +t0207.scala:3: error: type T takes type parameters + type S = (T with T)[A]
+ ^ +t0207.scala:3: error: type T takes type parameters + type S = (T with T)[A]
+ ^ +two errors found diff --git a/test/files/neg/t0207.scala b/test/files/neg/t0207.scala new file mode 100755 index 0000000000..d9df0ca951 --- /dev/null +++ b/test/files/neg/t0207.scala @@ -0,0 +1,4 @@ +trait A { + type T[_] + type S = (T with T)[A] +} |