diff options
Diffstat (limited to 'test/pending/neg')
37 files changed, 0 insertions, 676 deletions
diff --git a/test/pending/neg/dot-classpath.flags b/test/pending/neg/dot-classpath.flags deleted file mode 100644 index 5af7a81156..0000000000 --- a/test/pending/neg/dot-classpath.flags +++ /dev/null @@ -1 +0,0 @@ --Ylog-classpath
\ No newline at end of file diff --git a/test/pending/neg/dot-classpath/S_1.scala b/test/pending/neg/dot-classpath/S_1.scala deleted file mode 100644 index f8bd12404c..0000000000 --- a/test/pending/neg/dot-classpath/S_1.scala +++ /dev/null @@ -1,3 +0,0 @@ -package foo { - class Bippy -} diff --git a/test/pending/neg/dot-classpath/S_2.scala b/test/pending/neg/dot-classpath/S_2.scala deleted file mode 100644 index e44c1a5bb8..0000000000 --- a/test/pending/neg/dot-classpath/S_2.scala +++ /dev/null @@ -1,3 +0,0 @@ -class A { - def f = new foo.Bippy -}
\ No newline at end of file diff --git a/test/pending/neg/macro-invalidusage-badbounds-b.check b/test/pending/neg/macro-invalidusage-badbounds-b.check deleted file mode 100644 index 277f407d38..0000000000 --- a/test/pending/neg/macro-invalidusage-badbounds-b.check +++ /dev/null @@ -1,4 +0,0 @@ -Macros_Test_2.scala:7: error: type arguments [Int] do not conform to macro method foo's type parameter bounds [U <: String] - foo[Int] - ^ -one error found diff --git a/test/pending/neg/macro-invalidusage-badbounds-b.flags b/test/pending/neg/macro-invalidusage-badbounds-b.flags deleted file mode 100644 index cd66464f2f..0000000000 --- a/test/pending/neg/macro-invalidusage-badbounds-b.flags +++ /dev/null @@ -1 +0,0 @@ --language:experimental.macros
\ No newline at end of file diff --git a/test/pending/neg/macro-invalidusage-badbounds-b/Impls_1.scala b/test/pending/neg/macro-invalidusage-badbounds-b/Impls_1.scala deleted file mode 100644 index be47d5cec4..0000000000 --- a/test/pending/neg/macro-invalidusage-badbounds-b/Impls_1.scala +++ /dev/null @@ -1,5 +0,0 @@ -import scala.reflect.macros.blackbox.Context - -object Impls { - def foo[U <: String](c: Context) = ??? -} diff --git a/test/pending/neg/macro-invalidusage-badbounds-b/Macros_Test_2.scala b/test/pending/neg/macro-invalidusage-badbounds-b/Macros_Test_2.scala deleted file mode 100644 index 3139599108..0000000000 --- a/test/pending/neg/macro-invalidusage-badbounds-b/Macros_Test_2.scala +++ /dev/null @@ -1,8 +0,0 @@ -object Macros { - def foo[U <: String] = macro Impls.foo[U] -} - -object Test extends App { - import Macros._ - foo[Int] -}
\ No newline at end of file diff --git a/test/pending/neg/reify_packed.check b/test/pending/neg/reify_packed.check deleted file mode 100644 index f26b902896..0000000000 --- a/test/pending/neg/reify_packed.check +++ /dev/null @@ -1,4 +0,0 @@ -reify_packed.scala:6: error: implementation restriction: cannot reify block of type List[_$1] that involves a type declared inside the block being reified. consider casting the return value to a suitable type. - reify { - ^ -one error found diff --git a/test/pending/neg/reify_packed.scala b/test/pending/neg/reify_packed.scala deleted file mode 100644 index 7bdaa41915..0000000000 --- a/test/pending/neg/reify_packed.scala +++ /dev/null @@ -1,15 +0,0 @@ -import scala.reflect.runtime.universe._ -import scala.reflect.runtime.{universe => ru} -import scala.reflect.runtime.{currentMirror => cm} -import scala.tools.reflect.ToolBox - -object Test extends App { - reify { - class C { override def toString() = "C" } - val ret = List((new C, new C)) - ret.asInstanceOf[List[_]] - }; - - val toolbox = cm.mkToolBox() - println(toolbox.eval(code.tree)) -}
\ No newline at end of file diff --git a/test/pending/neg/t0653.scala b/test/pending/neg/t0653.scala deleted file mode 100644 index 26204a8b40..0000000000 --- a/test/pending/neg/t0653.scala +++ /dev/null @@ -1,30 +0,0 @@ -// What is this test in place to test for? -// -class One[A] -class Two[A, B] -class Fix[Op[A]](x : Op[Fix[Op]]) - -class FixTest { - // works - // val zero = new Fix[One](new One) - - // don't work: - val two = new Fix(new Two) // this was what I found here - val zero = new Fix(new One) // this seems like something which could plausibly work - - // neg/t0653.scala:12: error: no type parameters for constructor Fix: (x: Op[Fix[Op[A]]])Fix[Op[A]] exist so that it can be applied to arguments (Two[Nothing,Nothing]) - // --- because --- - // argument expression's type is not compatible with formal parameter type; - // found : Two[Nothing,Nothing] - // required: ?Op[ Fix[?Op[ A ]] ] - // val two = new Fix(new Two) // this was what I found here - // ^ - // neg/t0653.scala:13: error: no type parameters for constructor Fix: (x: Op[Fix[Op[A]]])Fix[Op[A]] exist so that it can be applied to arguments (One[Nothing]) - // --- because --- - // argument expression's type is not compatible with formal parameter type; - // found : One[Nothing] - // required: ?Op[ Fix[?Op[ A ]] ] - // val zero = new Fix(new One) // this seems like something which could plausibly work - // ^ - // two errors found -} diff --git a/test/pending/neg/t1557.scala b/test/pending/neg/t1557.scala deleted file mode 100644 index ba93b45fad..0000000000 --- a/test/pending/neg/t1557.scala +++ /dev/null @@ -1,18 +0,0 @@ -object Test extends App { - trait A - trait B extends A - - trait C { - trait D { type T >: B <: A } - val y: (D with this.type)#T = new B { } - } - - class D extends C { - trait E - type T = E - def frob(arg : E) : E = arg - frob(y) - } - - new D -}
\ No newline at end of file diff --git a/test/pending/neg/t1800.scala b/test/pending/neg/t1800.scala deleted file mode 100644 index eebbbad9c7..0000000000 --- a/test/pending/neg/t1800.scala +++ /dev/null @@ -1,28 +0,0 @@ -object ObjectHolder { - private[ObjectHolder] class PrivateObject - def getPrivateObject = new PrivateObject -} - -object Test { - def main(args: Array[String]) { - // compiler error: class PrivateObject cannot be accessed - // in object test.ObjectHolder - val a: ObjectHolder.PrivateObject = ObjectHolder.getPrivateObject - - // works fine - val b = ObjectHolder.getPrivateObject - println(b.getClass) - } -} -/* -When declaring objects as private[package/object] or protected[package/object] it is possible to leak out references to these objects into the public api (can be desirable, this in itself is not a problem). - -When users of the api receive such private object via a function call, they can create a variable to reference the private object using inferred typing: - -val b = getPrivateObject() - -However they cannot create such variable using declared typing: - -val a: PrivateObject? = getPrivateObject() - -The line above will generate a compiler error: "class PrivateObject? cannot be accessed". Which makes sense, because PrivateObject? was declared private. But in this case inferred typing should not work either, otherwise the behaviors of inferred typing and declared typing become inconsistent. */ diff --git a/test/pending/neg/t2080.scala b/test/pending/neg/t2080.scala deleted file mode 100644 index 3f4306c091..0000000000 --- a/test/pending/neg/t2080.scala +++ /dev/null @@ -1,17 +0,0 @@ -trait A { - type T - def f(x : T) : T -} - -trait B extends A { - trait T { } - override def f(x : T) : T = x -} - -object C extends B { - override trait T { - def g { } - } - override def f(x : T) : T = { x.g; x } -} -//It compiles without errors, but T in B and T in C are completely unrelated types. diff --git a/test/pending/neg/t3152.scala b/test/pending/neg/t3152.scala deleted file mode 100644 index 3abc772076..0000000000 --- a/test/pending/neg/t3152.scala +++ /dev/null @@ -1,8 +0,0 @@ -package test - -object NotEnclosing { - def main(args : Array[String]) : Unit = {} - def compare[T](x: Ordered[T], y: Ordered[T]) = error("") - def mkEx: Ordered[_] = error("") - compare(mkEx, mkEx) -} diff --git a/test/pending/neg/t3633/test/Test.scala b/test/pending/neg/t3633/test/Test.scala deleted file mode 100644 index 395a6be6f4..0000000000 --- a/test/pending/neg/t3633/test/Test.scala +++ /dev/null @@ -1,23 +0,0 @@ -package test - -final class Test extends PackageProtected { - def bar = foo -} - -package another { - object Main { - def t1(t: Test) { - // Can always be replicated. - println(t.foo) - } - def t2(t: Test) { - // Conditions to replicate: must use -optimise, class Test must be final - println(t.bar) - //@noinline is a usable workaround - } - def main(args: Array[String]) { - t1(new Test) - t2(new Test) - } - } -} diff --git a/test/pending/neg/t5008.scala b/test/pending/neg/t5008.scala deleted file mode 100644 index 2b20bcfe12..0000000000 --- a/test/pending/neg/t5008.scala +++ /dev/null @@ -1,165 +0,0 @@ -// These are members of class bar.C, completely unrelated to class foo.A. -// The types shown below include types defined within foo.A which are: -// -// - qualified private -// - qualified protected -// - object protected -// -// val a : foo.A = { /* compiled code */ } -// val xprot1 : java.lang.Object with foo.A.FooProt1 = { /* compiled code */ } -// val xprot2 : java.lang.Object with foo.A.FooProt2 = { /* compiled code */ } -// val xprot3 : java.lang.Object with foo.A.FooProt3 = { /* compiled code */ } -// val xprot4 : java.lang.Object with foo.A.FooProt4 = { /* compiled code */ } -// val xpriv3 : java.lang.Object with foo.A.FooPriv3 = { /* compiled code */ } -// val xpriv4 : java.lang.Object with foo.A.FooPriv4 = { /* compiled code */ } -// -// Indeed it will tell me a type which I cannot access: -// -// scala> new bar.C -// res0: bar.C = bar.C@1339a0dc -// -// scala> res0.xpriv3 -// res1: java.lang.Object with res0.a.FooPriv3 = bar.C$$anon$29@39556aec -// -// scala> new res0.a.FooPriv3 -// <console>:9: error: trait FooPriv3 in class A cannot be accessed in foo.A -// new res0.a.FooPriv3 -// ^ -// Looking at how the compiler prints the types of those vals, one -// develops a suspicion how some of it is being allowed: -// -// val xpriv4: C.this.a.FooPriv4 -// val xpriv3: C.this.a.FooPriv3 -// val xprot4: C.this.a.FooProt4 -// val xprot3: C.this.a.FooProt3 -// val xprot2: C.this.a.FooProt2 -// val xprot1: C.this.a.FooProt1 -// -// That is, "this" is in the prefix somewhere, it's just not a "this" -// which has any bearing. - -package foo { - class A { - trait Foo - - protected trait FooProt1 - protected[this] trait FooProt2 - protected[foo] trait FooProt3 - protected[A] trait FooProt4 - - private trait FooPriv1 - private[this] trait FooPriv2 - private[foo] trait FooPriv3 - private[A] trait FooPriv4 - - type BarProt1 = FooProt1 - type BarProt2 = FooProt2 - type BarProt3 = FooProt3 - type BarProt4 = FooProt4 - - // type BarPriv1 = FooPriv1 - // type BarPriv2 = FooPriv2 - type BarPriv3 = FooPriv3 - type BarPriv4 = FooPriv4 - - def fprot1(x: FooProt1) = x - def fprot2(x: FooProt2) = x - def fprot3(x: FooProt3) = x - def fprot4(x: FooProt4) = x - - // def fpriv1(x: FooPriv1) = x - // def fpriv2(x: FooPriv2) = x - def fpriv3(x: FooPriv3) = x - def fpriv4(x: FooPriv4) = x - - val yprot1 = new FooProt1 { } - val yprot2 = new FooProt2 { } - val yprot3 = new FooProt3 { } - val yprot4 = new FooProt4 { } - - // val ypriv1 = new FooPriv1 { } - // val ypriv2 = new FooPriv2 { } - val ypriv3 = new FooPriv3 { } - val ypriv4 = new FooPriv4 { } - - def fpriv_alt1(x: FooPriv1) = 0 // !!! isn't the private type now in the signature of the (public) method? - def fpriv_alt2(x: FooPriv2) = 0 // !!! isn't the private[this] type now in the signature of the (public) method? - } - // Same package, subclass - class B extends A { - val xprot1 = new BarProt1 { } - val xprot2 = new BarProt2 { } - val xprot3 = new BarProt3 { } - val xprot4 = new BarProt4 { } - - // val xpriv1 = new BarPriv1 { } - // val xpriv2 = new BarPriv2 { } - val xpriv3 = new BarPriv3 { } - val xpriv4 = new BarPriv4 { } - - override def fprot1(x: BarProt1) = x - override def fprot2(x: BarProt2) = x - override def fprot3(x: BarProt3) = x - override def fprot4(x: BarProt4) = x - - // override def fpriv1(x: BarPriv1) = x - // override def fpriv2(x: BarPriv2) = x - override def fpriv3(x: BarPriv3) = x - override def fpriv4(x: BarPriv4) = x - } - // Same package, unrelated class - class C { - val a = new A - import a._ - - val xprot1 = new BarProt1 { } - val xprot2 = new BarProt2 { } - val xprot3 = new BarProt3 { } - val xprot4 = new BarProt4 { } - - // val xpriv1 = new BarPriv1 { } - // val xpriv2 = new BarPriv2 { } - val xpriv3 = new BarPriv3 { } - val xpriv4 = new BarPriv4 { } - } -} - -package bar { - // Different package, subclass - class B extends foo.A { - val xprot1 = new BarProt1 { } - val xprot2 = new BarProt2 { } - val xprot3 = new BarProt3 { } - val xprot4 = new BarProt4 { } - - // val xpriv1 = new BarPriv1 { } - // val xpriv2 = new BarPriv2 { } - val xpriv3 = new BarPriv3 { } - val xpriv4 = new BarPriv4 { } - - override def fprot1(x: BarProt1) = x - override def fprot2(x: BarProt2) = x - override def fprot3(x: BarProt3) = x - override def fprot4(x: BarProt4) = x - - // override def fpriv1(x: BarPriv1) = x - // override def fpriv2(x: BarPriv2) = x - override def fpriv3(x: BarPriv3) = x - override def fpriv4(x: BarPriv4) = x - } - // Different package, unrelated class - class C { - val a = new foo.A - import a._ - - val xprot1 = new BarProt1 { } - val xprot2 = new BarProt2 { } - val xprot3 = new BarProt3 { } - val xprot4 = new BarProt4 { } - - // val xpriv1 = new BarPriv1 { } - // val xpriv2 = new BarPriv2 { } - val xpriv3 = new BarPriv3 { } - val xpriv4 = new BarPriv4 { } - } -} diff --git a/test/pending/neg/t5589neg.check b/test/pending/neg/t5589neg.check deleted file mode 100644 index f1dad94df3..0000000000 --- a/test/pending/neg/t5589neg.check +++ /dev/null @@ -1,37 +0,0 @@ -t5589neg.scala:2: warning: `withFilter' method does not yet exist on scala.util.Either.RightProjection[Int,String], using `filter' method instead - def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:2: error: constructor cannot be instantiated to expected type; - found : (T1, T2) - required: String - def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:3: warning: `withFilter' method does not yet exist on scala.util.Either.RightProjection[Int,String], using `filter' method instead - def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:3: error: constructor cannot be instantiated to expected type; - found : (T1, T2) - required: String - def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:4: error: constructor cannot be instantiated to expected type; - found : (T1,) - required: (String, Int) - def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:4: error: not found: value y2 - def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:5: error: constructor cannot be instantiated to expected type; - found : (T1, T2, T3) - required: (String, Int) - def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:5: error: not found: value y1 - def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) - ^ -t5589neg.scala:5: error: not found: value y2 - def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) - ^ -two warnings found -7 errors found diff --git a/test/pending/neg/t5589neg.flags b/test/pending/neg/t5589neg.flags deleted file mode 100644 index dcc59ebe32..0000000000 --- a/test/pending/neg/t5589neg.flags +++ /dev/null @@ -1 +0,0 @@ --deprecation diff --git a/test/pending/neg/t5589neg.scala b/test/pending/neg/t5589neg.scala deleted file mode 100644 index 31ff2c3693..0000000000 --- a/test/pending/neg/t5589neg.scala +++ /dev/null @@ -1,6 +0,0 @@ -class A { - def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) - def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) - def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) - def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) -} diff --git a/test/pending/neg/t5589neg2.check b/test/pending/neg/t5589neg2.check deleted file mode 100644 index 6af4955a83..0000000000 --- a/test/pending/neg/t5589neg2.check +++ /dev/null @@ -1,9 +0,0 @@ -t5589neg2.scala:7: error: constructor cannot be instantiated to expected type; - found : (T1, T2) - required: String - for (((((a, (b, (c, (d1, d2)))), es), fs), gs) <- x) yield (d :: es).mkString(", ") // not ok - ^ -t5589neg2.scala:7: error: not found: value d - for (((((a, (b, (c, (d1, d2)))), es), fs), gs) <- x) yield (d :: es).mkString(", ") // not ok - ^ -two errors found diff --git a/test/pending/neg/t5589neg2.scala b/test/pending/neg/t5589neg2.scala deleted file mode 100644 index b7c7ab7218..0000000000 --- a/test/pending/neg/t5589neg2.scala +++ /dev/null @@ -1,13 +0,0 @@ -class A { - def f1(x: List[((((Int, (Double, (Float, String))), List[String]), List[Int]), List[Float])]) = { - for (((((a, (b, (c, d))), es), fs), gs) <- x) yield (d :: es).mkString(", ") // ok - } - - def f2(x: List[((((Int, (Double, (Float, String))), List[String]), List[Int]), List[Float])]) = { - for (((((a, (b, (c, (d1, d2)))), es), fs), gs) <- x) yield (d :: es).mkString(", ") // not ok - } - - def f3(x: List[((((Int, (Double, (Float, String))), List[String]), List[Int]), List[Float])]) = { - for (((((a, (b, _)), es), fs), gs) <- x) yield (es ::: fs).mkString(", ") // ok - } -}
\ No newline at end of file diff --git a/test/pending/neg/t5618.check b/test/pending/neg/t5618.check deleted file mode 100644 index 118e812ae4..0000000000 --- a/test/pending/neg/t5618.check +++ /dev/null @@ -1,7 +0,0 @@ -t5618.scala:12: error: could not find implicit value for parameter class1: Class1 - val class2 = new Class2 - ^ -t5618.scala:18: error: could not find implicit value for parameter class1: Class1 - val class2 = new Class2 - ^ -two errors found
\ No newline at end of file diff --git a/test/pending/neg/t5618.scala b/test/pending/neg/t5618.scala deleted file mode 100644 index 66e06787f1..0000000000 --- a/test/pending/neg/t5618.scala +++ /dev/null @@ -1,27 +0,0 @@ - - - - -case class Class1 - - -case class Class2(implicit class1: Class1) - - -object Test1 { - val class2 = new Class2 - implicit val class1 = new Class1 -} - - -object Test2 { - val class2 = new Class2 - implicit val class1: Class1 = new Class1 -} - - -object Test3 { - implicit val class1 = new Class1 - val class2 = new Class2 -} - diff --git a/test/pending/neg/t5729.check b/test/pending/neg/t5729.check deleted file mode 100644 index 10c13db8b6..0000000000 --- a/test/pending/neg/t5729.check +++ /dev/null @@ -1,7 +0,0 @@ -t5729.scala:5: error: ambiguous reference to overloaded definition, -both method join in object Test of type [S](in: Seq[T[S]])String -and method join in object Test of type (in: Seq[T[_]])Int -match argument types (Seq[T[_]]) - join(null: Seq[T[_]]) - ^ -one error found diff --git a/test/pending/neg/t5729.scala b/test/pending/neg/t5729.scala deleted file mode 100644 index 9fd9c9ffbb..0000000000 --- a/test/pending/neg/t5729.scala +++ /dev/null @@ -1,6 +0,0 @@ -trait T[X] -object Test { - def join(in: Seq[T[_]]): Int = ??? - def join[S](in: Seq[T[S]]): String = ??? - join(null: Seq[T[_]]) -}
\ No newline at end of file diff --git a/test/pending/neg/t6375.check b/test/pending/neg/t6375.check deleted file mode 100644 index 89d7d8060f..0000000000 --- a/test/pending/neg/t6375.check +++ /dev/null @@ -1,27 +0,0 @@ -t6375.scala:6: warning: no valid targets for annotation on value x1 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @getter) - @Bippy val x1: Int // warn - ^ -t6375.scala:7: warning: no valid targets for annotation on value x2 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.field @getter) - @(Bippy @field) val x2: Int // warn - ^ -t6375.scala:9: warning: no valid targets for annotation on value x4 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.setter @getter) - @(Bippy @setter) val x4: Int // warn - ^ -t6375.scala:10: warning: no valid targets for annotation on value x5 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.param @getter) - @(Bippy @param) val x5: Int // warn - ^ -t6375.scala:20: warning: no valid targets for annotation on value q1 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.getter @field) - @(Bippy @getter) private[this] val q1: Int = 1 // warn - ^ -t6375.scala:40: warning: no valid targets for annotation on value p2 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.getter @param) - @(Bippy @getter) p2: Int, // warn - ^ -t6375.scala:41: warning: no valid targets for annotation on value p3 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.setter @param) - @(Bippy @setter) p3: Int, // warn - ^ -t6375.scala:42: warning: no valid targets for annotation on value p4 - it is discarded unused. You may specify targets with meta-annotations, e.g. @(Bippy @scala.annotation.meta.field @param) - @(Bippy @field) p4: Int // warn - ^ -error: No warnings can be incurred under -Xfatal-warnings. -8 warnings found -one error found diff --git a/test/pending/neg/t6375.flags b/test/pending/neg/t6375.flags deleted file mode 100644 index 85d8eb2ba2..0000000000 --- a/test/pending/neg/t6375.flags +++ /dev/null @@ -1 +0,0 @@ --Xfatal-warnings diff --git a/test/pending/neg/t6375.scala b/test/pending/neg/t6375.scala deleted file mode 100644 index 21634df688..0000000000 --- a/test/pending/neg/t6375.scala +++ /dev/null @@ -1,67 +0,0 @@ -import scala.annotation.meta._ - -class Bippy extends scala.annotation.StaticAnnotation - -abstract class Foo { - @Bippy val x1: Int // warn - @(Bippy @field) val x2: Int // warn - @(Bippy @getter) val x3: Int // no warn - @(Bippy @setter) val x4: Int // warn - @(Bippy @param) val x5: Int // warn -} - -object Bar extends Foo { - val x1 = 1 - val x2 = 2 - val x3 = 3 - val x4 = 4 - val x5 = 5 - - @(Bippy @getter) private[this] val q1: Int = 1 // warn - @(Bippy @getter) private val q2: Int = 1 // no warn - - def f1(@(Bippy @param) x: Int): Int = 0 // no warn - def f2(@(Bippy @getter) x: Int): Int = 0 // warn - todo - def f3(@(Bippy @setter) x: Int): Int = 0 // warn - todo - def f4(@(Bippy @field) x: Int): Int = 0 // warn - todo - def f5(@Bippy x: Int): Int = 0 // no warn - - @(Bippy @companionClass) def g1(x: Int): Int = 0 // warn - todo - @(Bippy @companionObject) def g2(x: Int): Int = 0 // warn - todo - @(Bippy @companionMethod) def g3(x: Int): Int = 0 // no warn - @Bippy def g4(x: Int): Int = 0 // no warn - - @(Bippy @companionObject @companionMethod) def g5(x: Int): Int = 0 // no warn -} - -class Dingo( - @Bippy p0: Int, // no warn - @(Bippy @param) p1: Int, // no warn - @(Bippy @getter) p2: Int, // warn - @(Bippy @setter) p3: Int, // warn - @(Bippy @field) p4: Int // warn -) - -class ValDingo( - @Bippy val p0: Int, // no warn - @(Bippy @param) val p1: Int, // no warn - @(Bippy @getter) val p2: Int, // no warn - @(Bippy @setter) val p3: Int, // warn - todo - @(Bippy @field) val p4: Int // no warn -) - -class VarDingo( - @Bippy var p0: Int, // no warn - @(Bippy @param) var p1: Int, // no warn - @(Bippy @getter) var p2: Int, // no warn - @(Bippy @setter) var p3: Int, // no warn - @(Bippy @field) var p4: Int // no warn -) - -case class CaseDingo( - @Bippy p0: Int, // no warn - @(Bippy @param) p1: Int, // no warn - @(Bippy @getter) p2: Int, // no warn - @(Bippy @setter) p3: Int, // warn - todo - @(Bippy @field) p4: Int // no warn -) diff --git a/test/pending/neg/t7441.check b/test/pending/neg/t7441.check deleted file mode 100644 index f259457197..0000000000 --- a/test/pending/neg/t7441.check +++ /dev/null @@ -1,6 +0,0 @@ -t7441.scala:4: error: type mismatch; - found : Int(1) - required: List[Any] - def test = apply(1) - ^ -one error found diff --git a/test/pending/neg/t7441.scala b/test/pending/neg/t7441.scala deleted file mode 100644 index dad7421e3f..0000000000 --- a/test/pending/neg/t7441.scala +++ /dev/null @@ -1,7 +0,0 @@ -object Test { - object Bar { - def apply(xs: List[Any]): Int = 0 - def test = apply(1) - } - implicit def foo = 1 -} diff --git a/test/pending/neg/t7886.scala b/test/pending/neg/t7886.scala deleted file mode 100644 index 55d80a0a43..0000000000 --- a/test/pending/neg/t7886.scala +++ /dev/null @@ -1,22 +0,0 @@ -trait Covariant[+A] -trait Contra[-A] { def accept(p: A): Unit } -trait Invariant[A] extends Covariant[A] with Contra[A] - -case class Unravel[A](m: Contra[A], msg: A) - -object Test extends Covariant[Any] { - def g(m: Contra[Any]): Unit = m accept 5 - def f(x: Any): Unit = x match { - case Unravel(m, msg) => g(m) - case _ => - } - def main(args: Array[String]) { - f(Unravel[String](new Contra[String] { def accept(x: String) = x.length }, "")) - } -} -// java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String -// at Test$$anon$1.accept(a.scala:18) -// at Test$.g(a.scala:13) -// at Test$.f(a.scala:15) -// at Test$.main(a.scala:18) -// at Test.main(a.scala) diff --git a/test/pending/neg/t7886b.scala b/test/pending/neg/t7886b.scala deleted file mode 100644 index 1db8be9821..0000000000 --- a/test/pending/neg/t7886b.scala +++ /dev/null @@ -1,23 +0,0 @@ -trait Covariant[+A] -trait Contra[-A] { def accept(p: A): Unit } -trait Invariant[A] extends Covariant[A] with Contra[A] - -trait T -case class Unravel[A](m: Contra[A], msg: A) extends T - -object Test extends Covariant[Any] { - def g(m: Contra[Any]): Unit = m accept 5 - def f(x: T): Unit = x match { - case Unravel(m, msg) => g(m) - case _ => - } - def main(args: Array[String]) { - f(Unravel[String](new Contra[String] { def accept(x: String) = x.length }, "")) - } -} -// java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String -// at Test$$anon$1.accept(a.scala:18) -// at Test$.g(a.scala:13) -// at Test$.f(a.scala:15) -// at Test$.main(a.scala:18) -// at Test.main(a.scala) diff --git a/test/pending/neg/t8079d.check b/test/pending/neg/t8079d.check deleted file mode 100644 index f63f4902f8..0000000000 --- a/test/pending/neg/t8079d.check +++ /dev/null @@ -1,4 +0,0 @@ -t8079d.scala:3: error: contravariant type I occurs in covariant position in type C.this.X of value b - def f2(b: X): Unit - ^ -one error found diff --git a/test/pending/neg/t8079d.scala b/test/pending/neg/t8079d.scala deleted file mode 100644 index ad420b99e3..0000000000 --- a/test/pending/neg/t8079d.scala +++ /dev/null @@ -1,4 +0,0 @@ -trait C[-I] { - protected[this] type X = C[I] - def f2(b: X): Unit -} diff --git a/test/pending/neg/tcpoly_typealias_eta.scala b/test/pending/neg/tcpoly_typealias_eta.scala deleted file mode 100644 index 033c911f7c..0000000000 --- a/test/pending/neg/tcpoly_typealias_eta.scala +++ /dev/null @@ -1,46 +0,0 @@ -trait A { - type m[+x] -} - -trait A2 { - type m[+x <: String] -} - -trait A3 { - type m[x] -} - -trait FooCov[+x] -trait FooCon[-x] -trait FooBound[+x <: String] - -trait BOk1 extends A { - type m/*[+x]*/ = FooCov/*[x]*/ -} - -trait BOk2 extends A2 { - type m/*[+x <: String]*/ = FooBound/*[x]*/ -} - -trait BOk3 extends A2 { - type m/*[+x]*/ = FooCov/*[x]*/ // weaker bound -} - -trait BOk4 extends A3 { - type m/*[+x]*/ = FooCov/*[x]*/ // weaker variance -} - -// there are two aspects to check: - // does type alias signature (not considering RHS) correspond to abstract type member in super class - // does RHS correspond to the type alias sig -trait BInv extends A{ - type m/*[x]*/ = FooCov/*[x]*/ // error: invariant x in alias def -} - -trait BCon extends A{ - type m/*[-x]*/ = FooCon/*[x]*/ // error: contravariant x -} - -trait BBound extends A{ - type m/*[+x <: String]*/ = FooBound/*[x]*/ // error: x with stricter bound -} diff --git a/test/pending/neg/tcpoly_variance_enforce_getter_setter.scala b/test/pending/neg/tcpoly_variance_enforce_getter_setter.scala deleted file mode 100644 index deafba8d8a..0000000000 --- a/test/pending/neg/tcpoly_variance_enforce_getter_setter.scala +++ /dev/null @@ -1,12 +0,0 @@ -trait coll[+m[+x]] - -class FooInvar[x] -class FooContra[-x] -class FooCov[+x] - -object test { - var ok: coll[FooCov] = _ - - var x: coll[FooInvar] = _ // TODO: error should be reported only once instead of separately for getter and setter - var y: coll[FooContra] = _ -} diff --git a/test/pending/neg/type-diagnostics.scala b/test/pending/neg/type-diagnostics.scala deleted file mode 100644 index a3a9172bb2..0000000000 --- a/test/pending/neg/type-diagnostics.scala +++ /dev/null @@ -1,11 +0,0 @@ -object TooManyParens { - def f = Map(1 -> 2).keySet() - // - // Confusion reigns! - // - // work/a.scala:27: error: not enough arguments for method apply: (elem: Int)Boolean in trait SetLike. - // Unspecified value parameter elem. - // def f = Map(1 -> 2).keySet() - // ^ - -} |