Add tests to verify that crash is fixed elsewhere. Fixes #19328

Author: raquo

tests/neg/i19328.check

@@ -0,0 +1,4 @@
+-- [E172] Type Error: tests/neg/i19328.scala:14:5 ----------------------------------------------------------------------
+14 |  bar // error: missing implicit (should not crash)
+   |     ^
+   |     No given instance of type Boolean was found for parameter bool of method bar in object i19328

tests/neg/i19328.scala

@@ -0,0 +1,14 @@
+import scala.language.implicitConversions
+
+object i19328:
+
+  trait Foo[B]
+  given foo[C]: Foo[C] = new Foo[C] {}
+
+  type Id[A] = A
+
+  implicit def wrapId[A](a: A): Id[A] = a
+
+  def bar(using bool: Boolean): Unit = ()
+
+  bar // error: missing implicit (should not crash)

tests/neg/i19328conversion.check

@@ -0,0 +1,4 @@
+-- [E172] Type Error: tests/neg/i19328conversion.scala:13:5 ------------------------------------------------------------
+13 |  bar // error: missing implicit (should not crash)
+   |     ^
+   |     No given instance of type Boolean was found for parameter bool of method bar in object i19328conversion

tests/neg/i19328conversion.scala

@@ -0,0 +1,13 @@
+object i19328conversion:
+
+  trait Foo[B]
+  given foo[C]: Foo[C] = new Foo[C] {}
+
+  type Id[A] = A
+
+  given wrapId[A]: Conversion[A, Id[A]] with
+    def apply(x: A): Id[A] = x
+
+  def bar(using bool: Boolean): Unit = ()
+
+  bar // error: missing implicit (should not crash)

tests/pos/i19328.scala

@@ -0,0 +1,16 @@
+import scala.language.implicitConversions
+
+object i19328:
+
+  trait Foo[B]
+  given foo[C]: Foo[C] = new Foo[C] {}
+
+  type Id[A] = A
+
+  implicit def wrapId[A](a: A): Id[A] = a
+
+  def bar(using bool: Boolean): Unit = ()
+
+  given Boolean = true
+
+  bar

tests/pos/i19328conversion.scala

@@ -0,0 +1,15 @@
+object i19328conversion:
+
+  trait Foo[B]
+  given foo[C]: Foo[C] = new Foo[C] {}
+
+  type Id[A] = A
+
+  given wrapId[A]: Conversion[A, Id[A]] with
+    def apply(x: A): Id[A] = x
+
+  def bar(using bool: Boolean): Unit = ()
+
+  given Boolean = true
+
+  bar