Reproduce scala/scala3#13406

Author: sageserpent-open

src/main/scala-2.13/com/sageserpent/americium/Factory.scala

@@ -0,0 +1,22 @@
+import magnolia1.{AutoDerivation, CaseClass, Monadic, SealedTrait}
+
+trait SomeType[X] {}
+
+object SomeType extends AutoDerivation[SomeType] {
+  // NOTE: the implementations have been left out, as they are irrelevant from
+  // the point of view of provoking the assertion failure.
+
+  def join[X](caseClass: CaseClass[Typeclass, X]): Typeclass[X] = ???
+
+  given SomeType[Int] = ???
+
+  def split[X](
+      sealedTrait: SealedTrait[Typeclass, X]
+  ): Typeclass[X] = ???
+}
+
+object ProvokeCompilerAssertionFailure {
+  val okWithNonRecursiveX = implicitly[SomeType[Option[Int]]]
+
+  val troubleWithRecursiveX = implicitly[SomeType[List[Int]]]
+}