Skip to main content

fn_sig_bound_region_variances

charon_driver::hax::rustc

Function fn_sig_bound_region_variances 

Source 
pub fn fn_sig_bound_region_variances<'tcx>(
    tcx: TyCtxt<'tcx>,
    sig: PolyFnSig<'tcx>,
) -> HashMap<BoundVar, Variance>
Expand description

Computes the variance of each region bound by sig.

This follows rustc’s FunctionalVariances helper from the impl_trait_overcaptures lint.