Module checker 

Modules

errors 🔒

Structs

Checker 🔒

Inherited 🔒

Fields shared by the top-level function and its nested closure/generators

RefineMode 🔒

ResolvedCall 🔒

ShapeMode 🔒

ShapeResult 🔒

The result of running the shape phase.

Enums

Guard 🔒

A Guard describes extra “control” information that holds at the start of a successor basic block

Traits

Mode 🔒

Functions

all_predicates_of 🔒

bool_int_cast 🔒

bool_uint_cast 🔒

char_uint_cast 🔒

collect_params_in_clauses 🔒

find_trait_item 🔒

fold_local_ptrs 🔒

Fold local pointers implements roughly a rule like the following (for all local pointers) that converts the local pointers created via [unfold_local_ptrs] back into &mut.

guarded_uint_ty 🔒

instantiate_args_for_constructor 🔒

instantiate_args_for_fun_call 🔒

int_bit_width 🔒

int_int_cast 🔒

int_uint_cast 🔒

marker_at_dominator 🔒

promoted_fn_sig 🔒

raw_ptr_with_size 🔒

Converts a reference into a raw-ptr, tracking size etc.

trait_impl_subtyping 🔒

Trait subtyping check, which makes sure that the type for an impl method (def_id) is a subtype of the corresponding trait method.

uint_bit_width 🔒

uint_char_cast 🔒

Unlike char_uint_cast rust only allows u8 to char casts, which are non-lossy, so we can use indexed type directly.

uint_int_cast 🔒

uint_uint_cast 🔒

Type Aliases

Result 🔒