If you spot a problem with this page, click here to create a Bugzilla issue.

Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using a local clone.

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.

Library Reference

dmd.typinf