diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bug588.check | 2 | ||||
-rw-r--r-- | test/files/neg/bug588.scala | 2 | ||||
-rw-r--r-- | test/files/neg/ticket513.check | 4 | ||||
-rw-r--r-- | test/files/neg/ticket513.scala | 6 |
4 files changed, 12 insertions, 2 deletions
diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check index d795922e0c..5f55c95619 100644 --- a/test/files/neg/bug588.check +++ b/test/files/neg/bug588.check @@ -1,6 +1,6 @@ bug588.scala:3: error: double definition: method visit:(f: (Int) => String)Boolean and -method visit:(f: (Int) => unit)Boolean at line 2 +method visit:(f: (Int) => Unit)Boolean at line 2 have same type after erasure: (f: Function1)Boolean def visit(f: Int => String): Boolean ^ diff --git a/test/files/neg/bug588.scala b/test/files/neg/bug588.scala index 1713df1330..f30937377e 100644 --- a/test/files/neg/bug588.scala +++ b/test/files/neg/bug588.scala @@ -1,5 +1,5 @@ abstract class Test0 { - def visit(f: Int => unit): Boolean + def visit(f: Int => Unit): Boolean def visit(f: Int => String): Boolean } trait Test { diff --git a/test/files/neg/ticket513.check b/test/files/neg/ticket513.check new file mode 100644 index 0000000000..8994269262 --- /dev/null +++ b/test/files/neg/ticket513.check @@ -0,0 +1,4 @@ +ticket513.scala:6: error: type arguments [NotThatBound] do not conform to trait T's type parameter bounds [A <: Bound] +object Wrong extends Wrap[T[NotThatBound]] + ^ +one error found diff --git a/test/files/neg/ticket513.scala b/test/files/neg/ticket513.scala new file mode 100644 index 0000000000..e8510558b0 --- /dev/null +++ b/test/files/neg/ticket513.scala @@ -0,0 +1,6 @@ +class Bound +class NotThatBound +trait T[A <: Bound] +trait Wrap[X] + +object Wrong extends Wrap[T[NotThatBound]]
\ No newline at end of file |