SyntheticMembers

• If impl is the companion of a generic sum, add deriving.Mirror.Sum parent and MirroredMonoType and ordinal members.
• If impl is the companion of a generic product, add deriving.Mirror.Product parent and MirroredMonoType and fromProduct members.
• If impl is marked with one of the attachments ExtendsSingletonMirror or ExtendsSumOfProductMirror, remove the attachment and generate the corresponding mirror support, On this case the represented class or object is referred to in a pre-existing MirroredMonoType member of the template.

If this is a case or value class, return the appropriate additional methods, otherwise return nothing.

The class

case class C[T <: U](x: T, y: String*)

gets the fromProduct method:

def fromProduct(x$0: Product): MirroredMonoType =
  new C[U](
    x$0.productElement(0).asInstanceOf[U],
    x$0.productElement(1).asInstanceOf[Seq[String]]: _*)

where

type MirroredMonoType = C[?]

For an enum T:

def ordinal(x: MirroredMonoType) = x.ordinal

For sealed trait with children of normalized types C_1, ..., C_n:

def ordinal(x: MirroredMonoType) = x match { case _: C_1 => 0 ... case _: C_n => n - 1 }

Here, the normalized type of a class C is C[?, ...., ?] with a wildcard for each type parameter. The normalized type of an object O is O.type.

If this is the class backing a serializable singleton enum value with base class MyEnum, and not deriving from java.lang.Enum add the method:

private def readResolve(): AnyRef =
  MyEnum.fromOrdinal(this.ordinal)

unless an implementation already exists, otherwise do nothing.

If this is a static object Foo, add the method:

private def writeReplace(): AnyRef =
  new scala.runtime.ModuleSerializationProxy(classOf[Foo.type])

unless an implementation already exists, otherwise do nothing.

All static objects receive the Serializable flag in the back-end, so we do that even for objects that are not serializable at this phase.