Module hir_ty_lowering

HIR ty lowering: Lowers type-system entities¹ from the HIR to the rustc_middle::ty representation.

Not to be confused with AST lowering which lowers AST constructs to HIR ones or with THIR / MIR lowering / building which lowers HIR bodies (i.e., “executable code”) to THIR / MIR.

Most lowering routines are defined on dyn HirTyLowerer directly, like the main routine of this module, lower_ty.

This module used to be called astconv.

---

1. This includes types, lifetimes / regions, constants in type positions, trait references and bounds. ↩

Modules

• bounds 🔒
• cmse 🔒
• dyn_compatibility 🔒
• errors
• generics
• lint 🔒

Structs

• GenericArgCountMismatch
  A marker denoting that the generic arguments that were provided did not match the respective generic parameters.
• GenericArgCountResult
  Decorates the result of a generic argument count mismatch check with whether explicit late bounds were provided.
• GenericPathSegment
  A path segment that is semantically allowed to have generic arguments.

Enums

• AssocItemQSelf 🔒
  The “qualified self” of an associated item path.
• ExplicitLateBound
  New-typed boolean indicating whether explicit late-bound lifetimes are present in a set of generic arguments.
• FeedConstTy
  In some cases, hir::ConstArgs that are being used in the type system through const generics need to have their type “fed” to them using the query system.
• GenericArgPosition 🔒
  Denotes the “position” of a generic argument, indicating if it is a generic type, generic function or generic method call.
• IsMethodCall
• PredicateFilter
• RegionInferReason

Traits

• GenericArgsLowerer
  A context which can lower HIR’s GenericArg to rustc_middle’s ty::GenericArg.
• HirTyLowerer
  A context which can lower type-system entities from the HIR to the rustc_middle::ty representation.