For TypeFunction, nextOf() can return NULL if the function return type is meant to be inferred, and semantic() hasn't yet ben run on the function. After semantic(), it must no longer be NULL.
Covariant means that 'this' can substitute for 't', i.e. a pure function is a match for an impure type.
For pretty-printing a type.
This version does a merge even if the deco is already computed. Necessary for types that have a deco, but are not merged.
Store this type's modifier name into buf.
Return this type's modifier name.
For each active modifier (MODconst, MODimmutable, etc) call fp with a void* for the work param and a string representation of the attribute.
When T is mutable, Given: T a, b; Can we bitwise assign: a = b; ?
Returns true if T can be converted to boolean value.
Check type to see if it is based on a deprecated symbol.
Return a copy of this type with all attributes null-initialized. Useful for creating a type with different modifiers.
Convert to 'const'.
Convert to 'immutable'.
Make type mutable.
Make type unshared. 0 => 0 const => const immutable => immutable shared => 0 shared const => const wild => wild wild const => wild const shared wild => wild shared wild const => wild const
Convert to 'wild'.
For our new type 'this', which is type-constructed from t, fill in the cto, ito, sto, scto, wto shortcuts.
Look for bugs in constructing types.
Apply STCxxxx bits to existing type. Use *before* semantic analysis is run.
Apply MODxxxx bits to existing type.
Add MODxxxx bits to existing type. We're adding, not replacing, so adding const to a shared type => "shared const"
Add storage class modifiers to type.
If this is a shell around another type, get that other type.
Determine if 'this' can be implicitly converted to type 'to'.
Determine if converting 'this' to 'to' is an identity operation, a conversion to const operation, or the types aren't the same.
Return MOD bits matching this type to wild parameter type (tprm).
Return type with the top level of it being mutable.
Calculate built-in properties which just the type is necessary.
dotExp() bit flags
Access the members of the object e. This type is same as e->type.
Return alignment to use for this type.
Figures out what to do with an undefined member reference for classes and structs.
Use when we prefer the default initializer to be a literal, rather than a global immutable variable.
Resolve 'this' type to either type, symbol, or expression. If errors happened, resolved to Type.terror.
Normalize e as the result of Type.resolve() process.
Return !=0 if the type or any of its subtypes is wild.
We've mistakenly parsed this as a type. Redo it as an Expression. NULL if cannot.
Return !=0 if type has pointers that need to be scanned by the GC during a collection cycle.
Detect if type has pointer fields that are initialized to void. Local stack variables with such void fields can remain uninitialized, leading to pointer bugs.
If this is a type of something, return that something.
If this is a type of static array, return its base element type.
Return the mask that an integral type will fit into.
true if when type goes out of scope, it needs a destructor applied. Only applies to value types, not ref types.
Bugzilla 14488: Check if the inner most base type is complex or imaginary. Should only give alerts when set to emit transitional messages.