flux_middle::rty::refining

Function refine_bound_variables

Source 
pub fn refine_bound_variables(
    vars: &[BoundVariableKind],
) -> List<BoundVariableKind>