dmd.typinf

Compiler implementation of the D programming language.

Authors:

Walter Bright

License:

Boost License 1.0

Source

typeinf.d

Documentation

https://dlang.org/phobos/dmd_typinf.html

Coverage

https://codecov.io/gh/dlang/dmd/src/master/src/dmd/typinf.d

void genTypeInfo(Loc loc, Type torig, Scope* sc);

Generates the TypeInfo object associated with torig if it hasn't already been generated

Parameters:

Loc loc	the location for reporting line numbers in errors
Type torig	the type to generate the TypeInfo object for
Scope* sc	the scope

Type getTypeInfoType(Loc loc, Type t, Scope* sc);

Gets the type of the TypeInfo object associated with t

Parameters:

Loc loc	the location for reporting line nunbers in errors
Type t	the type to get the type of the TypeInfo object for
Scope* sc	the scope

Returns:

The type of the TypeInfo object associated with t

bool isSpeculativeType(Type t);

Returns:

true if any part of type t is speculative. if t is null, returns false.