diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/ticket2208.check | 4 | ||||
-rw-r--r-- | test/files/neg/ticket2208.scala | 8 | ||||
-rw-r--r-- | test/files/pos/ticket2208.scala | 8 |
3 files changed, 0 insertions, 20 deletions
diff --git a/test/files/neg/ticket2208.check b/test/files/neg/ticket2208.check deleted file mode 100644 index 9aa6658bf4..0000000000 --- a/test/files/neg/ticket2208.check +++ /dev/null @@ -1,4 +0,0 @@ -ticket2208.scala:9: error: type arguments [Any] do not conform to type Alias's type parameter bounds [X <: Test.A] - class C extends Alias[Any] // not ok, normalisation should check bounds before expanding Alias - ^ -one error found
\ No newline at end of file diff --git a/test/files/neg/ticket2208.scala b/test/files/neg/ticket2208.scala deleted file mode 100644 index 43bb0adec5..0000000000 --- a/test/files/neg/ticket2208.scala +++ /dev/null @@ -1,8 +0,0 @@ -object Test { - class A - - class B[X] - type Alias[X <: A] = B[X] - - class C extends Alias[Any] // not ok, normalisation should check bounds before expanding Alias -}
\ No newline at end of file diff --git a/test/files/pos/ticket2208.scala b/test/files/pos/ticket2208.scala deleted file mode 100644 index f1a521b14c..0000000000 --- a/test/files/pos/ticket2208.scala +++ /dev/null @@ -1,8 +0,0 @@ -object Test { - class A - - class B[X] - type Alias[X <: A] = B[X] - - val foo: B[A] = new Alias[A] // check that type aliases can be instantiated -}
\ No newline at end of file |