Generic_Typeof_Type

class Generic_Typeof_Type (abstract, logical)

for things like typeof(a + b) where a and b are template params

Direct parents:

• inherits Unnamed_Type

Ancestor classes and implemented interfaces:

Declarative_Node, Logical_IR_Root, Symbol, Type, Unnamed_Type

Direct child classes:

• subclass Typeof_Type

• subclass Typeof_Class_Type

Field	Kind	Type	Description
Mangled_Operand	attribute	builtin String
Is_Decltype	attribute	builtin Boolean
Is_Unparenthesized_Decltype	attribute	builtin Boolean
Size (from Type)	attribute	builtin Natural
Alignment_Log (from Type)	attribute	builtin Byte	log2 of the type’s alignment
Alignment (from Type)	attribute	builtin Natural	Alignment of the type (must be a power of 2)
Size_In_Bits (from Type)	attribute	builtin UInt64	Size of the type, in bits.
Parent (from Logical_IR_Root)	semantic	class Logical_IR_Root
Physical (from Logical_IR_Root)	semantic to physical	class Physical_IR_Root