Skip to main content

Module refining

flux_middle::rty

Module refining 

Source
Expand description

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§

make_vars_and_sorts_from_bound_vars 🔒
NOTE(CK):
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 🔒