Menu

- Learn
- Documentation
  - Language Reference
  - Library Reference
  - Command-line Reference
  - Feature Overview
  - Articles
- Downloads
- Packages
- Community
  - Blog
  - Orgs using D
  - Twitter
  - Calendar
  - Forums
  - IRC
  - Wiki
  - GitHub
  - Issues
  - Get involved
  - Contributors
  - Foundation
  - Security Team
  - Donate
  - Sponsors
- Resources
  - Tour
  - Books
  - Tutorials
  - Tools
  - Editors
  - IDEs
  - run.dlang.io
  - Visual D
  - Acknowledgments
  - D Style
  - Glossary
  - Sitemap

Search
Report a bug
If you spot a problem with this page, click here to create a Bugzilla issue.
Improve this page
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.

Copyright © 1999-2019 by the D Language Foundation | Page generated by Ddoc on Tue Jul 2 10:02:16 2019