Module rustc_hir_analysis::check::check

Functions

• async_opaque_type_cycle_error 🔒
• check_abi
• check_enum 🔒
• check_generator_obligations 🔒
• check_impl_items_against_trait 🔒
• check_item_type 🔒
• check_mod_item_types 🔒
• check_on_unimplemented 🔒
• check_opaque 🔒
  Checks that an opaque type does not contain cycles and does not use Self or T::Foo projections that would result in “inheriting lifetimes”.
• check_opaque_for_cycles 🔒
  Checks that an opaque type does not contain cycles.
• check_opaque_for_inheriting_lifetimes 🔒
  Checks that an opaque type does not use Self or T::Foo projections that would result in “inheriting lifetimes”.
• check_opaque_meets_bounds 🔒
  Check that the concrete type behind impl Trait actually implements Trait.
• check_packed 🔒
• check_packed_inner 🔒
• check_simd
• check_specialization_validity 🔒
• check_static_inhabited 🔒
  Check that a static is inhabited.
• check_static_linkage 🔒
• check_struct 🔒
• check_transparent 🔒
• check_type_params_are_used 🔒
• check_union 🔒
• check_union_fields 🔒
  Check that the fields of the union do not need dropping.
• detect_discriminant_duplicate 🔒
  Part of enum check. Given the discriminants of an enum, errors if two or more discriminants are equal
• find_and_apply_rpit_args 🔒
  In case it is in a nested opaque type, find that opaque type’s usage in the function signature and use the generic arguments from the usage site. We need to do because RPITs ignore the lifetimes of the function, as they have their own copies of all the lifetimes they capture. So the only way to get the lifetimes represented in terms of the function, is to look how they are used in the function signature (or do some other fancy recording of this mapping at ast -> hir lowering time).
• is_enum_of_nonnullable_ptr 🔒
• opaque_type_cycle_error 🔒
  Emit an error for recursive opaque types.
• sanity_check_found_hidden_type 🔒