Merge pull request #986 from joroKr21/varargs-witness

Fix #843 - add regression test
milessabin · Mar 22, 2020 · 462399b · 462399b
2 parents 9b2776c + 3e6959f
commit 462399b
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/: b/:
diff --git a/core/src/test/scala/shapeless/singletons.scala b/core/src/test/scala/shapeless/singletons.scala
@@ -696,3 +696,19 @@ package UnrefineTest {
     new Bar(Foo.from( LabelledGeneric[FooBar] )).modify(Symbol("y").narrow, (_: Int) * 2).keys
   }
 }
+
+object VarArgsWitnessTest {
+  trait Base
+  class Dep[B <: Base with Singleton]
+  object instance extends Base
+  val dep = new Dep[instance.type]
+
+  def varargs[B <: Base with Singleton](el: Dep[B]*)(implicit w: Witness.Aux[B]): Unit = ()
+  def poly[B <: Base with Singleton](el1: Dep[B])(implicit w: Witness.Aux[B]): Unit = ()
+  def poly[B <: Base with Singleton](el1: Dep[B], el2: Dep[B])(implicit w: Witness.Aux[B]): Unit = ()
+
+  varargs(dep)
+  varargs(dep, dep)
+  poly(dep)
+  poly(dep, dep)
+}