enumcons.type_system

Undocumented in source.

Members

Enums

isAnythingButSubtypeInfo
eponymoustemplate isAnythingButSubtypeInfo(alias x)
Undocumented in source.
subtypeInfo
eponymoustemplate subtypeInfo(Sub, Super)
Undocumented in source.

Functions

declareSupertype
Tuple!(staticMap!(_ProofFor, subtypes)) declareSupertype(long[] offsets, Flag!`allowDowncast` allowDowncast)
Undocumented in source. Be warned that the author may not have intended to support it.

Structs

unknownValue
struct unknownValue
Undocumented in source.

Templates

typeBoundUnknownValue
template typeBoundUnknownValue(E)

Scan the enum for an @unknownValue annotation and return the member it points to. If there are no such annotations, return void. If multiple, produce a compilation error.

Meta