Function convert_all_inner_to 

pub fn convert_all_inner_to<'a, T: Convert + Ty + Clone + 'a>(
    insts: &[T],
    ty: &Type,
) -> Option<Vec<T>>

See convert