Don't search for implicit conversions to NoType

scala · Jan 29, 2024 · 482a6a0 · 482a6a0
1 parent b20747d
commit 482a6a0
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -1074,7 +1074,7 @@ trait Implicits:
         if (argument.isEmpty) i"missing implicit parameter of type $pt after typer at phase ${ctx.phase.phaseName}"
         else i"type error: ${argument.tpe} does not conform to $pt${err.whyNoMatchStr(argument.tpe, pt)}")
 
-      val usableForInference = !pt.unusableForInference
+      val usableForInference = pt.exists && !pt.unusableForInference
         && (argument.isEmpty || !argument.tpe.unusableForInference)
 
       val result0 = if usableForInference then

diff --git a/tests/neg/i19320.scala b/tests/neg/i19320.scala
@@ -0,0 +1,15 @@
+//> using scala "3.3.1"
+//> using dep org.http4s::http4s-ember-client:1.0.0-M40
+//> using dep org.http4s::http4s-ember-server:1.0.0-M40
+//> using dep org.http4s::http4s-dsl:1.0.0-M40
+
+//import cats.effect.*
+//import cats.implicits.*
+
+class Concurrent[F[_]]
+
+class Test[F[_]: Concurren]: // error
+    def hello = ???
+
+object Test:
+    def apply[F[_]: Concurrent] = new Test[F]