Module check

Functions

allowed_union_or_unsafe_field 🔒

best_definition_site_of_opaque 🔒

check_abi

check_abi_fn_ptr

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_unsafe_fields 🔒

Check that the unsafe fields 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

is_enum_of_nonnullable_ptr 🔒

opaque_type_cycle_error 🔒

Emit an error for recursive opaque types.

sanity_check_found_hidden_type 🔒