From c1abb572fa3adaeef3f66c79ac8946d15c7aeca7 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 6 Nov 2013 18:33:27 +0100
Subject: Fixing a typerstate confusion in implicit search.

Typerstate needed to be exploring.
---
 src/dotty/tools/dotc/typer/Implicits.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/dotty')

diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala
index 36dee475a..e522727a0 100644
--- a/src/dotty/tools/dotc/typer/Implicits.scala
+++ b/src/dotty/tools/dotc/typer/Implicits.scala
@@ -327,7 +327,7 @@ trait Implicits { self: Typer =>
       /** Convert a (possibly empty) list of search successes into a single search result */
       def condense(hits: List[SearchSuccess]): SearchResult = hits match {
         case best :: alts =>
-          alts find (alt => isAsGood(alt.ref, best.ref)) match {
+          alts find (alt => isAsGood(alt.ref, best.ref)(ctx.fresh.withExploreTyperState)) match {
             case Some(alt) =>
               new AmbiguousImplicits(best.ref, alt.ref, pt, argument)
             case None =>
-- 
cgit v1.2.3