diff --git a/core/src/test/scala/shapeless/coproduct.scala b/core/src/test/scala/shapeless/coproduct.scala index 7019af132..77fd675b0 100644 --- a/core/src/test/scala/shapeless/coproduct.scala +++ b/core/src/test/scala/shapeless/coproduct.scala @@ -1862,6 +1862,7 @@ class CoproductTests { @Test def testReify: Unit = { + import GenericTestsAux._ import syntax.singleton._ assertTypedEquals(HNil, Reify[CNil].apply()) @@ -1872,6 +1873,9 @@ class CoproductTests { val s2 = Coproduct.`'a, 1, "b", true` assertEquals(Symbol("a").narrow :: 1.narrow :: "b".narrow :: true.narrow :: HNil, Reify[s2.T].apply()) + val gen = Generic[Enum] + assertEquals(A :: B :: C :: HNil, Reify[gen.Repr].apply()) + illTyped(""" Reify[String :+: Int :+: CNil] """) illTyped(""" Reify[String :+: Coproduct.`'a, 1, "b", true`.T] """) }