pub fn get_array_length<'tcx>( tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, length: &'tcx Const<'tcx> ) -> usize