charon_lib::transform::index_intermediate_assigns

Function contains_index_proj

Source 
fn contains_index_proj<T: BodyVisitable>(x: &T) -> bool