Don't add lower bounds of abstract types to the implicit scope

As the spec[1] says:
"The parts of a type T are [...] if T is an abstract type, the parts of
its upper bound;"

[1]: http://www.scala-lang.org/files/archive/spec/2.11/07-implicits.html#implicit-parameters

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/neg/implicit-lower-bound.scala b/tests/neg/implicit-lower-bound.scala
new file mode 100644
index 000000000..4d5e6389c
--- /dev/null
+++ b/tests/neg/implicit-lower-bound.scala
@@ -0,0 +1,14 @@
+class Foo
+
+class Bar extends Foo
+object Bar {
+  implicit val listbar: List[Bar] = ???
+}
+
+class Test {
+  def get1(implicit lf: List[_ <: Bar]) = {}
+  def get2(implicit lf: List[_ >: Bar]) = {}
+
+  get1 // works
+  get2 // error
+}