From 0cffdf38d9e2d88e66d8649d317f8815716b2748 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Fri, 2 Mar 2012 17:58:08 +0100 Subject: SI-5189 1/2: inferConstrInst uses correct variance fixed concurrent.impl.Promise by making FState invariant (it would be unsound to make it covariant) --- test/files/neg/t5189.check | 6 ++++++ test/files/neg/t5189.scala | 5 +++++ 2 files changed, 11 insertions(+) create mode 100644 test/files/neg/t5189.check create mode 100644 test/files/neg/t5189.scala (limited to 'test/files/neg') diff --git a/test/files/neg/t5189.check b/test/files/neg/t5189.check new file mode 100644 index 0000000000..7762f465dc --- /dev/null +++ b/test/files/neg/t5189.check @@ -0,0 +1,6 @@ +t5189.scala:3: error: type mismatch; + found : Nothing => Any + required: Any => Any + def f(x: Any): Any => Any = x match { case Foo(bar) => bar } + ^ +one error found \ No newline at end of file diff --git a/test/files/neg/t5189.scala b/test/files/neg/t5189.scala new file mode 100644 index 0000000000..19e8e74667 --- /dev/null +++ b/test/files/neg/t5189.scala @@ -0,0 +1,5 @@ +class TestNeg1 { + case class Foo[T, U](f: T => U) + def f(x: Any): Any => Any = x match { case Foo(bar) => bar } + // uh-oh, Any => Any should be Nothing => Any. +} -- cgit v1.2.3