Module alias 

Alias hazard checks for unsafe view-producing APIs.

Alias is more stateful than numeric SPs such as Align: calls like from_raw_parts_mut create a view whose lifetime constrains later uses of the original raw pointer. This module handles the first, deliberately small slice-view model:

• a local view only checks later uses in the same function;
• an escaped view from self.field checks whether the same struct still exposes or writes through that raw field via safe methods or public fields.

Structs

SelfFieldOrigin 🔒

Enums

AliasProducer 🔒

HazardKind 🔒

RawAccessKind 🔒

Functions

adt_from_receiver_ty 🔒

alias_from_rvalue 🔒

alias_producer 🔒

blocks_reachable_after_call 🔒

call_destination 🔒

check

Check the path-sensitive / escaped hazard part of Alias.

collect_place_aliases 🔒

destination_flows_to_return 🔒

escaped_self_field_violation 🔒

expand_hazard_alias_locals 🔒

expand_origin_aliases 🔒

failed 🔒

hazard_used_after_block 🔒

hazard_used_after_statement 🔒

impls_for_struct 🔒

is_ownership_return_api 🔒

is_ownership_transfer_api 🔒

is_raw_pointer_ty 🔒

is_vec_invalidating_method 🔒

is_vec_ownership_transfer_api 🔒

local_hazard_violation 🔒

local_traces_to_self_field 🔒

method_exposes_self_field 🔒

method_writes_self_field 🔒

operand_place 🔒

ownership_transfer_violation 🔒

place_is_raw_access_to_any_origin 🔒

place_is_raw_access_to_origin 🔒

place_raw_accesses_self_field 🔒

public_raw_field 🔒

raw_access_conflicts 🔒

resolve_forward_place 🔒

resolve_mir_place 🔒

resolve_mir_place_dummy 🔒

rvalue_mentions_any_local 🔒

rvalue_mentions_local 🔒

rvalue_mentions_origin 🔒

rvalue_reads_any_origin 🔒

rvalue_source_place 🔒

self_field_key 🔒

self_field_origin 🔒

statement_uses_any_local 🔒

terminator_invalidates_vec_owner 🔒

terminator_returns_ownership 🔒

terminator_uses_any_local 🔒

terminator_uses_origin 🔒

terminator_writes_origin 🔒

vec_owners_for_origins 🔒