Improve eligible caching in implicit search.

Improves effectiveness of elidable cache from ~66% to ~85% and reduces # of implicits that need to be checked after discarding to about 20% what it was before.

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/neg/implicitDefs.scala b/tests/neg/implicitDefs.scala
new file mode 100644
index 000000000..28ac32656
--- /dev/null
+++ b/tests/neg/implicitDefs.scala
@@ -0,0 +1,11 @@
+package test
+
+import dotty._
+import Predef.{any2stringadd => _, StringAdd => _, _}
+
+object implicitDefs {
+
+  implicit val x = 2
+  implicit def y(x: Int) = 3
+  implicit def z(a: x.type): String = ""
+}