From e51b8845fb20fe3a4e1c655d4b72e2833906bbc2 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 20 Dec 2015 22:00:29 +0100 Subject: The big pending/pos test triage --- tests/pos/t8219.scala | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/pos/t8219.scala (limited to 'tests/pos/t8219.scala') diff --git a/tests/pos/t8219.scala b/tests/pos/t8219.scala new file mode 100644 index 000000000..e1653b623 --- /dev/null +++ b/tests/pos/t8219.scala @@ -0,0 +1,15 @@ +trait Equalizer[T] +trait Gen[A] + +class Broken { + implicit def const[T](x: T): Gen[T] = ??? + implicit def convertToEqualizer[T](left: T): Equalizer[T] = ??? + + def in(a: Any) = () + in { + import scala.None // any import will do.. + "" == "" // this no longer triggers the bug, as Object#== now overrides Any#== + } + + // We can still trigger the bug with a structural type, see pending/neg/t8219.scala +} -- cgit v1.2.3