DesugarEnums

Add implied flags to an enum class or an enum case

The enumeration class that belongs to an enum case. This works no matter whether the case is still in the enum class or it has been transferred to the companion object.

A type tree referring to enumClass

Expand a module definition representing a parameterless enum case

Expand a simple enum case

A reference to the enum class E, possibly followed by type arguments. Each covariant type parameter is approximated by its lower bound. Each contravariant type parameter is approximated by its upper bound. It is an error if a type parameter is non-variant, or if its approximation refers to pther type parameters.

Is tree an (untyped) enum case?

A pair consisting of

• the next enum tag
• scaffolding containing the necessary definitions for singleton enum cases unless that scaffolding was already generated by a previous call to nextEnumKind.

Is a type parameter in enumTypeParams referenced from an enum class case that has given type parameters caseTypeParams, value parameters vparamss and parents parents? Issues an error if that is the case but the reference is illegal. The reference could be illegal for two reasons:

• explicit type parameters are given
• it's a value case, i.e. no value parameters are given

Attachment signalling that when this definition is desugared, it should add any additional lookup methods for enums.

Attachment containing the number of enum cases, the smallest kind that was seen so far, and a list of all the value cases with their ordinals.