diff options
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/t5060.check | 7 | ||||
-rw-r--r-- | test/files/neg/t5060.scala | 19 |
2 files changed, 26 insertions, 0 deletions
diff --git a/test/files/neg/t5060.check b/test/files/neg/t5060.check new file mode 100644 index 0000000000..ab860c9d5b --- /dev/null +++ b/test/files/neg/t5060.check @@ -0,0 +1,7 @@ +t5060.scala:2: error: covariant type T occurs in contravariant position in type => Object with ScalaObject{def contains(x: T): Unit} of value foo0 + val foo0 = { + ^ +t5060.scala:6: error: covariant type T occurs in contravariant position in type => Object with ScalaObject{def contains(x: T): Unit} of method foo1 + def foo1 = { + ^ +two errors found diff --git a/test/files/neg/t5060.scala b/test/files/neg/t5060.scala new file mode 100644 index 0000000000..4d934a9a16 --- /dev/null +++ b/test/files/neg/t5060.scala @@ -0,0 +1,19 @@ +class A[+T] { + val foo0 = { + class AsVariantAsIWantToBe { def contains(x: T) = () } + new AsVariantAsIWantToBe + } + def foo1 = { + class VarianceIsTheSpiceOfTypes { def contains(x: T) = () } + new VarianceIsTheSpiceOfTypes + } +} + +object Test { + def main(args: Array[String]): Unit = { + val xs: A[String] = new A[String] + println(xs.foo0 contains "abc") + println((xs: A[Any]).foo0 contains 5) + // java.lang.NoSuchMethodException: A$AsVariantAsIWantToBe$1.contains(java.lang.String) + } +} |