diff options
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t0513.check | 7 | ||||
-rw-r--r-- | test/files/neg/t0513.scala | 6 | ||||
-rw-r--r-- | test/files/neg/t2078.check | 4 | ||||
-rw-r--r-- | test/files/neg/t2078.scala | 9 | ||||
-rw-r--r-- | test/files/neg/t2180.check | 6 | ||||
-rw-r--r-- | test/files/neg/t2180.scala | 9 |
6 files changed, 41 insertions, 0 deletions
diff --git a/test/files/neg/t0513.check b/test/files/neg/t0513.check new file mode 100644 index 0000000000..edc0c9ab67 --- /dev/null +++ b/test/files/neg/t0513.check @@ -0,0 +1,7 @@ +t0513.scala:5: error: type arguments [Nothing,Int] do not conform to class Y's type parameter bounds [T1,T2 <: T1] + val test2 = Test[Y[Nothing, Int]] // No error + ^ +t0513.scala:5: error: type arguments [Nothing,Int] do not conform to class Y's type parameter bounds [T1,T2 <: T1] + val test2 = Test[Y[Nothing, Int]] // No error + ^ +two errors found diff --git a/test/files/neg/t0513.scala b/test/files/neg/t0513.scala new file mode 100644 index 0000000000..0193483cab --- /dev/null +++ b/test/files/neg/t0513.scala @@ -0,0 +1,6 @@ +object Test { + case class Y[T1, T2 <: T1]() + //val test = Y[Nothing, Int] // Compiler error + case class Test[T]() + val test2 = Test[Y[Nothing, Int]] // No error +} diff --git a/test/files/neg/t2078.check b/test/files/neg/t2078.check new file mode 100644 index 0000000000..1b79c19621 --- /dev/null +++ b/test/files/neg/t2078.check @@ -0,0 +1,4 @@ +t2078.scala:2: error: contravariant type S occurs in covariant position in type => java.lang.Object{val x: S} of value f + val f = new { val x = y } + ^ +one error found diff --git a/test/files/neg/t2078.scala b/test/files/neg/t2078.scala new file mode 100644 index 0000000000..a697afc646 --- /dev/null +++ b/test/files/neg/t2078.scala @@ -0,0 +1,9 @@ +class A[-S](y : S) { + val f = new { val x = y } +} + +object Test extends Application { + val a = new A(1) + val b = a : A[Nothing] + b.f.x +} diff --git a/test/files/neg/t2180.check b/test/files/neg/t2180.check new file mode 100644 index 0000000000..58eb05b6b6 --- /dev/null +++ b/test/files/neg/t2180.check @@ -0,0 +1,6 @@ +t2180.scala:3: error: type mismatch; + found : List[Any] + required: scala.List[Mxml] + children.toList.flatMap ( e => { + ^ +one error found diff --git a/test/files/neg/t2180.scala b/test/files/neg/t2180.scala new file mode 100644 index 0000000000..54a9e49c1c --- /dev/null +++ b/test/files/neg/t2180.scala @@ -0,0 +1,9 @@ +class Mxml { + private def processChildren( children:Seq[Any] ):List[Mxml] = { + children.toList.flatMap ( e => { + e match { + case s:scala.collection.Traversable[_] => s case a => List(a) + } + }) + } +} |