Module refining 

Refining is the process of generating a refined version of a rust type.

Concretely, this module provides functions to go from types in flux_rustc_bridge::ty to types in rty.

Structs

Refiner

WeakKVarInserter 🔒

Traits

Refine

Functions

default_static_ty

The type of a static without a flux spec: the default refinement of its rust type. Reads of such a static use this type too, so e.g. the field specs of a struct are assumed when reading from the static, and thus must be checked in its initializer.

is_weak_kvar_sort 🔒

NOTE(CK):

make_vars_and_sorts_from_bound_vars 🔒

make_weak_kvar 🔒

refine_bound_variables

refine_default 🔒

refine_generic_param_def 🔒

refine_generic_param_def_kind 🔒

refine_generics

shift_in_vars 🔒

shift_out_vars 🔒