Module rustc_hir_analysis::collect

“Collection” is the process of determining the type and other external details of each item in Rust. Collection is specifically concerned with inter-procedural things – for example, for a function definition, collection will figure out the type and signature of the function, but it will not visit the body of the function in any way, nor examine type annotations on local variables (that’s the job of type checking).

Collecting is ultimately defined by a bundle of queries that inquire after various facts about the items in the crate (e.g., type_of, generics_of, predicates_of, etc). See the provide function for the full set.

At present, however, we do run collection across all items in the crate as a kind of pass. This should eventually be factored away.

Modules

• generics_of 🔒
• item_bounds 🔒
• predicates_of 🔒
• resolve_bound_vars 🔒
  Resolution of early vs late bound lifetimes.
• type_of 🔒

Structs

• CollectItemTypesVisitor
• FieldUniquenessCheckContext 🔒
• HirPlaceholderCollector 🔒
• ItemCtxt
  Context specific to some particular item. This is what implements HirTyLowerer.
• NestedSpan 🔒

Enums

• FieldDeclSpan 🔒

Functions

• adt_def 🔒
• bad_placeholder 🔒
• check_impl_constness 🔒
• compute_sig_of_foreign_fn_decl 🔒
• coroutine_for_closure 🔒
• coroutine_kind 🔒
• early_bound_lifetimes_from_generics 🔒
  Returns the early-bound lifetimes declared in this generics listing. For anything other than fns/methods, this is just all the lifetimes that are declared. For fns or methods, we have to screen out those that do not appear in any where-clauses etc using resolve_lifetime::early_bound_lifetimes.
• find_field 🔒
• fn_sig 🔒
• get_new_lifetime_name 🔒
  Synthesize a new lifetime name that doesn’t clash with any of the lifetimes already present.
• impl_trait_header 🔒
• infer_return_ty_for_fn_sig 🔒
• is_type_alias_impl_trait 🔒
• lower_enum_variant_types 🔒
• lower_impl_item 🔒
• lower_item 🔒
• lower_trait_item 🔒
• lower_variant 🔒
• lower_variant_ctor 🔒
• placeholder_type_error 🔒
  If there are any placeholder types (_), emit an error explaining that this is not allowed and suggest adding type parameters in the appropriate place, taking into consideration any and all already existing generic type parameters to avoid suggesting a name that is already in use.
• placeholder_type_error_diag 🔒
• polarity_of_impl 🔒
• predicates_defined_on 🔒
  Returns a list of type predicates for the definition with ID def_id, including inferred lifetime constraints. This includes all predicates returned by explicit_predicates_of, plus inferred constraints concerning which regions outlive other regions.
• provide
• reject_placeholder_type_signatures_in_item 🔒
• suggest_impl_trait
• test_opaque_hidden_types
• trait_def 🔒