diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-06 17:11:35 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-06 17:11:35 +0000 |
| commit | acdf9452c9932d2b07d3eb907542b705fbda1c28 (patch) | |
| tree | a910e5d9d797bbc68fa90288f42a0a9bdd951ca7 /test | |
| parent | 381209889a348349f97e414485d5fcf3c8e8931d (diff) | |
| download | scala-acdf9452c9932d2b07d3eb907542b705fbda1c28.tar.gz scala-acdf9452c9932d2b07d3eb907542b705fbda1c28.tar.bz2 scala-acdf9452c9932d2b07d3eb907542b705fbda1c28.zip | |
Revert "fixed #2208"
This reverts commit 2d437f2a62d7127abe907d61118ea448c9ad6c59.
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 |