Function array_elem_size 

fn array_elem_size<'tcx>(
    checker: &SmtChecker<'tcx>,
    caller: DefId,
    ty: Ty<'tcx>,
) -> Option<u64>