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

Traits§

Refine

Functions§

refine_bound_variables
refine_default 🔒
refine_generic_param_def 🔒
refine_generic_param_def_kind 🔒
refine_generics