Module lower 

Methods for lowering the HIR to types. There are two main cases here:

• Lowering a type reference like &usize or Option<foo::bar::Baz> to a type: The entry point for this is TyLoweringContext::lower_ty.
• Building the type for an item: This happens through the ty query.

This usually involves resolving names, collecting generic arguments etc.

Modules

diagnostics 🔒

This files contains the declaration of diagnostics kinds for ty and path lowering.

path 🔒

A wrapper around TyLoweringContext specifically for lowering paths.

Structs

ConstParamTypes

Wrapper struct around ArenaMap which implements [SalsaValue].

FieldType

FieldTypes

Wrapper struct around ArenaMap which implements [SalsaValue].

GenericDefaults

GenericDefaultsRef

GenericPredicates

ImplTraitLoweringState 🔒

MapAndCompressBoundVars 🔒

Given some where clause like for<'b, 'c> <Self as Trait<'a_identity>>::Gat<'b>: Bound<'c>, the mapping will map 'b back to the GAT’s 'b_identity. Then we need to compress the remaining bound var 'c to index 0.

PathDiagnosticCallbackData 🔒

SelfAndAssocBounds

SupertraitsInfo 🔒

TrackedStructToken 🔒

A token that is required to construct tracked structs. This exists to prevent one from accidentally creating a tracked struct outside of a query which may happen for some codepaths.

TyLoweringContext

TyLoweringResult

TyLoweringResultInfo 🔒

WithDefinedOpaques

Enums

AssocTypeShorthandResolution 🔒

ForbidParamsAfterReason 🔒

GenericPredicateSource 🔒

ImplTrait

ImplTraitLoweringMode 🔒

LifetimeElisionKind

LifetimeLoweringMode

LoweringMode

TyDefId

ValueTyDefId

Traits

TyLoweringInferVarsCtx

Functions

associated_type_by_name_including_super_traits_allow_ambiguity 🔒

callable_item_signature 🔒

Build the signature of a callable item (function, struct or enum variant).

const_param_ty 🔒

const_param_types 🔒

const_param_types_with_diagnostics 🔒

const_param_types_with_diagnostics_cycle_result 🔒

ctor_signature 🔒

field_types_query 🔒

field_types_with_diagnostics 🔒

Build the type of all specific fields of a struct or enum variant.

fn_sig_for_enum_variant_constructor 🔒

fn_sig_for_fn 🔒

fn_sig_for_struct_constructor 🔒

generic_defaults 🔒

generic_defaults_with_diagnostics 🔒

Resolve the default type params from generics.

generic_defaults_with_diagnostics_cycle_result 🔒

generic_predicates 🔒

Resolve the where clause(s) of an item with generics, with a given filter

generic_predicates_cycle_result 🔒

A cycle can occur from malformed code.

impl_self_ty_query 🔒

impl_self_ty_with_diagnostics 🔒

impl_self_ty_with_diagnostics_cycle_result 🔒

impl_trait_query 🔒

impl_trait_with_diagnostics 🔒

impl_trait_with_diagnostics_cycle_result 🔒

lower_mutability 🔒

param_env_from_predicates 🔒

push_const_arg_has_type_predicates 🔒

remap_gat_vars_and_recurse_into_nested_projections 🔒

The code below is quite involved, so let me explain.

replace_dummy_self_with_error 🔒

resolve_type_param_assoc_type_shorthand 🔒

Predicates for param_id of the form P: SomeTrait. If assoc_name is provided, only return predicates referencing traits that have an associated type of that name.

resolve_type_param_assoc_type_shorthand_cycle_result 🔒

trait_environment 🔒

ty_query 🔒

Build the declared type of an item. This depends on the namespace; e.g. for struct Foo(usize), we have two types: The type of the struct itself, and the constructor function (usize) -> Foo which lives in the values namespace.

type_alias_bounds 🔒

type_alias_bounds_with_diagnostics 🔒

type_alias_self_bounds 🔒

type_for_adt 🔒

type_for_const 🔒

type_for_const_with_diagnostics 🔒

Build the declared type of a const.

type_for_enum_variant_constructor 🔒

Build the type of a tuple enum variant constructor.

type_for_fn 🔒

Build the declared type of a function. This should not need to look at the function body.

type_for_static 🔒

type_for_static_with_diagnostics 🔒

Build the declared type of a static.

type_for_struct_constructor 🔒

Build the type of a tuple struct constructor.

type_for_type_alias_with_diagnostics 🔒

type_for_type_alias_with_diagnostics_cycle_result 🔒

value_ty 🔒

Type Aliases

ImplTraitIdx