Merge pull request #5841 from dotty-staging/fix-#5833

Fix #5833: Refine condition what constitutes an IFT in adapt

Author: Aggelos Biboudis

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

@@ -2561,9 +2561,17 @@ class Typer extends Namer
         missingArgs(wtp)
     }
 
+    def isImplicitFunctionRef(wtp: Type): Boolean = wtp match {
+      case RefinedType(parent, nme.apply, _) =>
+        isImplicitFunctionRef(parent) // apply refinements indicate a dependent IFT
+      case _ =>
+        val underlying = wtp.underlyingClassRef(refinementOK = false) // other refinements are not OK
+        defn.isImplicitFunctionClass(underlying.classSymbol)
+    }
+
     def adaptNoArgsOther(wtp: Type): Tree = {
       ctx.typeComparer.GADTused = false
-      if (defn.isImplicitFunctionClass(wtp.underlyingClassRef(refinementOK = false).classSymbol) &&
+      if (isImplicitFunctionRef(wtp) &&
           !untpd.isContextualClosure(tree) &&
           !isApplyProto(pt) &&
           !ctx.mode.is(Mode.Pattern) &&

tests/pos/i5833.scala

@@ -0,0 +1,16 @@
+object Dependent{
+  def x: given (i: Int) => Int = ???
+  def y: given (i: Int) => Int = x
+}
+object Independent{
+  def x: given Int => Int = ???
+  def y: given Int => Int = x
+}
+object NarrowDependent{
+  def x: given Int => Int = ???
+  def y: given (i: Int) => Int = x
+}
+object WidenDependent{
+  def x: given (i: Int) => Int = ???
+  def y: given Int => Int = x
+}