diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-06 18:33:27 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-06 18:33:27 +0100 |
| commit | c1abb572fa3adaeef3f66c79ac8946d15c7aeca7 (patch) | |
| tree | 307d616b2c7ed5771f930723be5a67608a900666 /src/dotty/tools/dotc | |
| parent | eba0a5b270ab7800d04e04776985e714d3e87a23 (diff) | |
| download | dotty-c1abb572fa3adaeef3f66c79ac8946d15c7aeca7.tar.gz dotty-c1abb572fa3adaeef3f66c79ac8946d15c7aeca7.tar.bz2 dotty-c1abb572fa3adaeef3f66c79ac8946d15c7aeca7.zip | |
Fixing a typerstate confusion in implicit search.
Typerstate needed to be exploring.
Diffstat (limited to 'src/dotty/tools/dotc')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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 => |