flux_refineck::checker

Function is_indexed_mut_skipping_constr

Source 
fn is_indexed_mut_skipping_constr(ty: &Ty) -> bool