Consider enum cases as objects?

[OlegYch]

currently

enum A { case AA }

is not considered equivalent to

sealed trait A; object A { case object AA extends A }

but probably should be

i would suggest changing isObject macro to

Expr(TypeRepr.of[T].typeSymbol.flags.is(Flags.Module) || Expr(TypeRepr.of[T].typeSymbol.flags.is(Flags.Enum | Flags.Abstract)))

or adding a separate field to CaseClass like isEnumValue

[OlegYch]

one interesting case is that in

    trait T
    enum A {
      case AA extends A with T
    }

A.AA has no flags

scala/scala3#16008

[adamw]

I don't think these are equivalent, in enum A { case AA }, the AA is a value, not a separate type?

[OlegYch]

it has separate type A.AA.type (although not a class)