Module checker

Modules

errors 🔒

Structs

Checker 🔒

Inherited 🔒

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

RefineMode 🔒

ShapeMode 🔒

ShapeResult 🔒

The result of running the shape phase.

SkipConstr 🔒

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 🔒

check_fn_subtyping 🔒

The function check_fn_subtyping does a function subtyping check between the sub-type (T_f) corresponding to the type of def_id @ args and the super-type (T_g) corresponding to the oblig_sig. This subtyping is handled as akin to the code

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.

infer_under_mut_ref_hack 🔒

HACK(nilehmann) This let us infer parameters under mutable references for the simple case where the formal argument is of the form &mut B[@n], e.g., the type of the first argument to RVec::get_mut is &mut RVec<T>[@n]. We should remove this after we implement opening of mutable references.

instantiate_args_for_constructor 🔒

instantiate_args_for_fun_call 🔒

int_bit_width 🔒

int_int_cast 🔒

is_indexed_mut_skipping_constr 🔒

marker_at_dominator 🔒

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

uint_uint_cast 🔒

unfold_local_ptrs 🔒

Temporarily (around a function call) convert an &mut to an &strg to allow for the call to be checked. This is done by unfolding the &mut into a local pointer at the call-site and then folding the pointer back into the &mut upon return. See also fold_local_ptrs.

Type Aliases

Result 🔒