Skip to content

Commit 6de51a3

Browse files
committed
Address review comments
1 parent c9f0b37 commit 6de51a3

File tree

2 files changed

+1
-3
lines changed

2 files changed

+1
-3
lines changed

compiler/src/dotty/tools/dotc/typer/Implicits.scala

-2
Original file line numberDiff line numberDiff line change
@@ -1109,7 +1109,6 @@ trait Implicits { self: Typer =>
11091109
* a diverging search
11101110
*/
11111111
def tryImplicit(cand: Candidate, contextual: Boolean): SearchResult =
1112-
//println(i"try $cand for $pt")
11131112
if (ctx.searchHistory.checkDivergence(cand, pt))
11141113
SearchFailure(new DivergingImplicit(cand.ref, pt.widenExpr, argument))
11151114
else {
@@ -1316,7 +1315,6 @@ trait Implicits { self: Typer =>
13161315
val eligible =
13171316
if (contextual) ctx.implicits.eligible(wildProto)
13181317
else implicitScope(wildProto).eligible
1319-
//println(i"eligible for $wildProto = $eligible%, %")
13201318
searchImplicits(eligible, contextual) match {
13211319
case result: SearchSuccess =>
13221320
result

tests/neg/i6779.scala

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,4 +10,4 @@ def g1[T](x: T): F[G[T]] = x.f(using summon[Stuff]) // error
1010

1111
def g2[T](x: T): F[G[T]] = x.f // error
1212

13-
def g3[T](x: T): F[G[T]] = f(x)(using summon[Stuff]) // error
13+
def g3[T](x: T): F[G[T]] = extension_f(x)(using summon[Stuff]) // error

0 commit comments

Comments
 (0)