From c0cb1d891a663d474a50d34cdf097dc3c1a2d7cc Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Sat, 28 Dec 2013 02:50:06 +0300 Subject: [nomaster] codifies the state of the art wrt SI-8104 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit As it was discovered in SI-8104, whiteboxity doesn’t apply equally to type parameters and type members of materialized type classes. During implicit search and subsequent type inference, whitebox type parameters are consistently erased to wildcards, whereas whitebox type members sometimes remain as is and get in the way of signature conformance checks. Unfortunately, 2.10.x can’t make use of type parameter whiteboxity, because it requires fundep materializers that were only merged into 2.11: https://github.com/scala/scala/pull/2499, and therefore Si-8104 seems to be a hard blocker for 2.10.x at the moment. Stay tuned for updates. --- test/files/neg/t8104a.check | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/neg/t8104a.check (limited to 'test/files/neg/t8104a.check') diff --git a/test/files/neg/t8104a.check b/test/files/neg/t8104a.check new file mode 100644 index 0000000000..ef92c2e1ef --- /dev/null +++ b/test/files/neg/t8104a.check @@ -0,0 +1,4 @@ +Test_2.scala:19: error: could not find implicit value for parameter e: Generic.Aux[Test.C,(Int, Int)] + implicitly[Generic.Aux[C, (Int, Int)]] + ^ +one error found -- cgit v1.2.3