diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala
index 280cc40e944e..691b76ec66a8 100644
--- a/src/dotty/tools/dotc/typer/Implicits.scala
+++ b/src/dotty/tools/dotc/typer/Implicits.scala
@@ -52,7 +52,7 @@ object Implicits {
             mt.paramTypes.length != 1 ||
             !(argType relaxed_<:< mt.paramTypes.head)(ctx.fresh.setExploreTyperState)
           case poly: PolyType =>
-            poly.resultType match {
+            constrained(poly).resultType match {
               case mt: MethodType =>
                 mt.isImplicit ||
                 mt.paramTypes.length != 1 ||
diff --git a/tests/pos/i1044.scala b/tests/pos/i1044.scala
new file mode 100644
index 000000000000..a984dbd67449
--- /dev/null
+++ b/tests/pos/i1044.scala
@@ -0,0 +1,3 @@
+object Test {
+  val x = ???.getClass.getMethods.head.getParameterTypes.mkString(",")
+}