Remove redundant nested array checks

Already checked by 8093f11 - ignore arrays in operands

Author: tesuji

compiler/rustc_mir_transform/src/gvn.rs

@@ -383,15 +383,6 @@ impl<'body, 'tcx> VnState<'body, 'tcx> {
                     AggregateTy::Array => {
                         assert!(fields.len() > 0);
                         let field_ty = fields[0].layout.ty;
-                        // FIXME: Ignore nested arrays, because arrays is large. Nested arrays are rarer and bigger
-                        // while we already process 1-dimension arrays, which is enough?
-                        if field_ty.is_array() {
-                            trace!(
-                                "ignoring nested array of type: [{field_ty}; {len}]",
-                                len = fields.len(),
-                            );
-                            return None;
-                        }
                         Ty::new_array(self.tcx, field_ty, fields.len() as u64)
                     }
                     AggregateTy::Tuple => {
@@ -899,13 +890,8 @@ impl<'body, 'tcx> VnState<'body, 'tcx> {
         }
 
         let (mut ty, variant_index) = match *kind {
-            AggregateKind::Array(ty) => {
+            AggregateKind::Array(_) => {
                 assert!(!field_ops.is_empty());
-                // FIXME: Ignore nested arrays, because arrays is large. Nested arrays are rarer and bigger
-                // while we already process 1-dimension arrays, which is enough?
-                if ty.is_array() {
-                    return None;
-                }
                 (AggregateTy::Array, FIRST_VARIANT)
             }
             AggregateKind::Tuple => {