From a1f4ceaede9142be3e3ce834d71d47e57759327a Mon Sep 17 00:00:00 2001 From: Eugene Flesselle Date: Thu, 7 Aug 2025 15:56:47 +0200 Subject: [PATCH] Keep deepened proto on AmbiguousImplicits even if cannot constrainResult Might fix #23610 Related to #23664 --- compiler/src/dotty/tools/dotc/typer/Typer.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala index c9d8fc0c1e0d..56dea08bdc10 100644 --- a/compiler/src/dotty/tools/dotc/typer/Typer.scala +++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala @@ -4386,7 +4386,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer arg.tpe match case failed: AmbiguousImplicits => - arg :: implicitArgs(formals1, argIndex + 1, pt) + arg :: implicitArgs(formals1, argIndex + 1, pt.deepenProtoTrans) case failed: SearchFailureType => lazy val defaultArg = findDefaultArgument(argIndex) .showing(i"default argument: for $formal, $tree, $argIndex = $result", typr)