Function is_indexed_mut_skipping_constr 

fn is_indexed_mut_skipping_constr(ty: &Ty) -> bool