Module rustc_hir_analysis::check::check

Functions

• check_abi
• check_coroutine_obligations 🔒
• check_enum 🔒
• check_impl_items_against_trait 🔒
• check_item_type 🔒
• 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_meets_bounds 🔒
  Check that the concrete type behind impl Trait actually implements Trait.
• check_opaque_precise_captures 🔒
  Check that the opaque’s precise captures list is valid (if present). We check this for regular impl Traits and also RPITITs, even though the latter are technically GATs.
• 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_alias_type_params_are_used 🔒
• check_union 🔒
• check_union_fields 🔒
  Check that the fields of the union do not need dropping.
• check_unnamed_fields 🔒
  Check the representation of adts with unnamed fields.
• detect_discriminant_duplicate 🔒
  Part of enum check. Given the discriminants of an enum, errors if two or more discriminants are equal
• is_enum_of_nonnullable_ptr 🔒
• opaque_type_cycle_error 🔒
  Emit an error for recursive opaque types.
• sanity_check_found_hidden_type 🔒