diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
index 49236ad4c890..6de7dccf873f 100644
--- a/compiler/src/dotty/tools/dotc/typer/Typer.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2551,9 +2551,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) &&
diff --git a/tests/pos/i5833.scala b/tests/pos/i5833.scala
new file mode 100644
index 000000000000..137827b3cedf
--- /dev/null
+++ b/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
+}
\ No newline at end of file