nested static enums type require forward declaration in the same type section

[mratsim]

The following doesn't compile and will throw Error: type expected

type
  TrustLevel* = enum
    Unchecked
    SigVerified
    TransitionVerified
    Trusted

  # Trust level aliases
  TrustedSignedBeaconBlock* = SignedBeaconBlock[Trusted]
  UntrustedSignedBeaconBlock* = SignedBeaconBlock[Unchecked] or
                                SignedBeaconBlock[SigVerified] or
                                SignedBeaconBlock[TransitionVerified]
  TrustedBeaconBlock* = BeaconBlock[Trusted]
  UntrustedBeaconBlock* = BeaconBlock[Unchecked] or
                          BeaconBlock[SigVerified] or
                          BeaconBlock[TransitionVerified]

  ValidatorSig = object
    data: array[48, byte]

  TrustedSig = object
    data: array[48, byte]

  BeaconBlock*[Trust: static TrustLevel] = object
    body*: BeaconBlockBody[Trust]

  BeaconBlockBody*[Trust: static TrustLevel] = object
    when Trust in {SigVerified, Trusted}:
      randao_reveal*: TrustedSig
    else:
      randao_reveal*: ValidatorSig
    randao_reveal*: ValidatorSig

  SignedBeaconBlock*[Trust: static TrustLevel] = object
    message*: BeaconBlock[Trust]
    when Trust in {SigVerified, Trusted}:
      signature*: TrustedSig
    else:
      signature*: ValidatorSig

The following with everything reordered to be forward declared compiles:

type
  TrustLevel* = enum
    Unchecked
    SigVerified
    TransitionVerified
    Trusted

  ValidatorSig = object
    data: array[48, byte]

  TrustedSig = object
    data: array[48, byte]


  BeaconBlockBody*[Trust: static TrustLevel] = object
    when Trust in {SigVerified, Trusted}:
      randao_reveal*: TrustedSig
    else:
      randao_reveal*: ValidatorSig
    randao_reveal*: ValidatorSig

  BeaconBlock*[Trust: static TrustLevel] = object
    body*: BeaconBlockBody[Trust]

  SignedBeaconBlock*[Trust: static TrustLevel] = object
    message*: BeaconBlock[Trust]
    when Trust in {SigVerified, Trusted}:
      signature*: TrustedSig
    else:
      signature*: ValidatorSig


  # Trust level aliases
  TrustedSignedBeaconBlock* = SignedBeaconBlock[Trusted]
  UntrustedSignedBeaconBlock* = SignedBeaconBlock[Unchecked] or
                                SignedBeaconBlock[SigVerified] or
                                SignedBeaconBlock[TransitionVerified]
  TrustedBeaconBlock* = BeaconBlock[Trusted]
  UntrustedBeaconBlock* = BeaconBlock[Unchecked] or
                          BeaconBlock[SigVerified] or
                          BeaconBlock[TransitionVerified]