add test for x.T recursive summoning (zio#282)

y-yu · Apr 8, 2022 · e8778c6 · e8778c6
1 parent d9cfa1e
commit e8778c6
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/izumi-reflect/izumi-reflect/src/test/scala/izumi/reflect/test/SharedTagTest.scala b/izumi-reflect/izumi-reflect/src/test/scala/izumi/reflect/test/SharedTagTest.scala
@@ -321,6 +321,13 @@ abstract class SharedTagTest extends AnyWordSpec with XY[String] with TagAsserti
     assert(tag.tag.typeArgs.head != tag0.tag)
   }
 
+  "DOES synthesize Tags for abstract types (val x; x.T)" in {
+    val x = new SomeTrait {}
+    implicit val tag0: Tag[x.Abstract] = Tag.apply(Tag[Int].closestClass, Tag[Int].tag)
+    val tag = Tag[Option[x.Abstract]]
+    assert(tag.tag.typeArgs.head != tag0.tag)
+  }
+
 }