diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
index c37da9fcf701..a9631ad45e28 100644
--- a/compiler/src/dotty/tools/dotc/typer/Implicits.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -969,7 +969,7 @@ trait Implicits:
       case Select(qual, nme.apply) if defn.isFunctionType(qual.tpe.widen) =>
         val qt = qual.tpe.widen
         val qt1 = qt.dealiasKeepAnnots
-        def addendum = if (qt1 eq qt) "" else (i"\nThe required type is an alias of: $qt1")
+        def addendum = if (qt1 eq qt) "" else (i"\nWhere $qt is an alias of: $qt1")
         i"parameter of ${qual.tpe.widen}$addendum"
       case _ =>
         i"${ if paramName.is(EvidenceParamName) then "an implicit parameter"
diff --git a/tests/neg/i17122.check b/tests/neg/i17122.check
new file mode 100644
index 000000000000..683908c5af0f
--- /dev/null
+++ b/tests/neg/i17122.check
@@ -0,0 +1,5 @@
+-- [E172] Type Error: tests/neg/i17122.scala:7:14 ----------------------------------------------------------------------
+7 |def test = m() // error
+  |              ^
+  |              No given instance of type A was found for parameter of C
+  |              Where C is an alias of: (A) ?=> B
diff --git a/tests/neg/i17122.scala b/tests/neg/i17122.scala
new file mode 100644
index 000000000000..fcf9af106488
--- /dev/null
+++ b/tests/neg/i17122.scala
@@ -0,0 +1,7 @@
+case class A()
+case class B()
+
+type C = A ?=> B
+def m(): C = ???
+
+def test = m() // error