From 7fa4ca91ffc1d36f0cb1fe89998578aea242e2f9 Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@epfl.ch>
Date: Tue, 14 Jun 2011 12:41:48 +0000
Subject: closes #4547.

review by rompf -- odersky may want to take a quick look and update the spec
---
 src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/compiler')

diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
index e30f69e858..7d4d42c224 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
@@ -918,6 +918,9 @@ trait Implicits {
             getParts(tp.widen)
           case _: SingletonType =>
             getParts(tp.widen)
+          case HasMethodMatching(_, argtpes, restpe) =>
+            for (tp <- argtpes) getParts(tp)
+            getParts(restpe)
           case RefinedType(ps, _) =>
             for (p <- ps) getParts(p)
           case AnnotatedType(_, t, _) =>
-- 
cgit v1.2.3