aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/t8219.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pos/t8219.scala')
-rw-r--r--tests/pos/t8219.scala15
1 files changed, 15 insertions, 0 deletions
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
+}