Added new test cases for type classes

Author: MateuszKubuszok

modules/pulp/src/main/scala/io/scalaland/pulp/internals/WiredImpl.scala

@@ -13,9 +13,13 @@ private[pulp] class WiredImpl(wiredType: WiredImpl.Type)(val c: Context)(annotte
                   extends { ..$_ }
                   with ..$_ { $_ => ..$_ }""" =>
       val providerArgs = ctorParams.flatten.map(p => q"${p.name}: _root_.io.scalaland.pulp.Provider[${p.tpt}]")
-      val ctorArgs =
+      val ctorArgsPreFix =
         if (wiredType != WiredImpl.Type.Singleton) ctorParams.map(_.map(p => q"${p.name}.get"))
         else ctorParams.map(_.map(p => q"_root_.io.scalaland.pulp.Provider.get[${p.tpt}]"))
+      val startWithImplicit = ctorParams.flatten.headOption.exists { case ValDef(mods, _, _, _) =>
+        mods.hasFlag(Flag.IMPLICIT)
+      }
+      val ctorArgs = if (startWithImplicit) Nil +: ctorArgsPreFix else ctorArgsPreFix
 
       withTraceLog("Provider implicit expanded") {
         wiredType match {

modules/pulp/src/test/scala/io/scalaland/pulp/WiredSpec.scala

@@ -21,6 +21,11 @@ class WiredSpec extends Specification {
   @Wired class ComplexCase[T](t: T, name: String, size: Int)
   @Wired class ComplexCase2[T](t: T)(name: String)(size: Int)
 
+  trait TestTC[T]
+  @Wired class TCCase1[T: TestTC](implicit i: Int)
+  @Wired class TCCase2[T: TestTC]
+  @Wired class TCCase3[T: TestTC](d: Double)(implicit i: Int)
+
   "@Wired annotation" should {
 
     "generate implicit Provider def for a monomorphic class without a companion" in {
@@ -56,5 +61,15 @@ class WiredSpec extends Specification {
 
       Provider.get[ComplexCase2[Double]] must not(beNull)
     }
+
+    "generate implicit Provider def for a class with type class constraint" in {
+      implicit val stringTCProvider: Provider[TestTC[String]] = Provider.const(new TestTC[String] {})
+      implicit val doubleProvider: Provider[Double] = Provider.const(1.0)
+      implicit val intProvider: Provider[Int] = Provider.const(10)
+
+      Provider.get[TCCase1[String]] must not(beNull)
+      Provider.get[TCCase2[String]] must not(beNull)
+      Provider.get[TCCase3[String]] must not(beNull)
+    }
   }
 }