flux_refineck::checker

Function fold_local_ptrs

Source 
fn fold_local_ptrs(
    infcx: &mut InferCtxt<'_, '_, '_>,
    env: &mut TypeEnv<'_>,
    span: Span,
) -> Result<(), CheckerError>
Expand description

[NOTE:Fold-Local-Pointers] Fold local pointers implements roughly a rule like this (for all the local pointers) that converts the local pointers created via [NOTE:Unfold-Local-Pointers] back into &mut.

T1 <: T2
--------------------- [local-fold]
Γ, l:[<: T2] T1 => Γ