More collect and apply

Author: compiler-errors

compiler/rustc_type_ir/src/interner.rs

@@ -402,6 +402,51 @@ impl<T, R> CollectAndApply<T, R> for T {
                 assert!(iter.next().is_none());
                 f(&[t0, t1])
             }
+            (3, Some(3)) => {
+                let t0 = iter.next().unwrap();
+                let t1 = iter.next().unwrap();
+                let t2 = iter.next().unwrap();
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2])
+            }
+            (4, Some(4)) => {
+                let t0 = iter.next().unwrap();
+                let t1 = iter.next().unwrap();
+                let t2 = iter.next().unwrap();
+                let t3 = iter.next().unwrap();
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3])
+            }
+            (5, Some(5)) => {
+                let t0 = iter.next().unwrap();
+                let t1 = iter.next().unwrap();
+                let t2 = iter.next().unwrap();
+                let t3 = iter.next().unwrap();
+                let t4 = iter.next().unwrap();
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3, t4])
+            }
+            (6, Some(6)) => {
+                let t0 = iter.next().unwrap();
+                let t1 = iter.next().unwrap();
+                let t2 = iter.next().unwrap();
+                let t3 = iter.next().unwrap();
+                let t4 = iter.next().unwrap();
+                let t5 = iter.next().unwrap();
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3, t4, t5])
+            }
+            (7, Some(7)) => {
+                let t0 = iter.next().unwrap();
+                let t1 = iter.next().unwrap();
+                let t2 = iter.next().unwrap();
+                let t3 = iter.next().unwrap();
+                let t4 = iter.next().unwrap();
+                let t5 = iter.next().unwrap();
+                let t6 = iter.next().unwrap();
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3, t4, t5, t6])
+            }
             _ => f(&iter.collect::<SmallVec<[_; 8]>>()),
         }
     }
@@ -440,6 +485,51 @@ impl<T, R, E> CollectAndApply<T, R> for Result<T, E> {
                 assert!(iter.next().is_none());
                 f(&[t0, t1])
             }
+            (3, Some(3)) => {
+                let t0 = iter.next().unwrap()?;
+                let t1 = iter.next().unwrap()?;
+                let t2 = iter.next().unwrap()?;
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2])
+            }
+            (4, Some(4)) => {
+                let t0 = iter.next().unwrap()?;
+                let t1 = iter.next().unwrap()?;
+                let t2 = iter.next().unwrap()?;
+                let t3 = iter.next().unwrap()?;
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3])
+            }
+            (5, Some(5)) => {
+                let t0 = iter.next().unwrap()?;
+                let t1 = iter.next().unwrap()?;
+                let t2 = iter.next().unwrap()?;
+                let t3 = iter.next().unwrap()?;
+                let t4 = iter.next().unwrap()?;
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3, t4])
+            }
+            (6, Some(6)) => {
+                let t0 = iter.next().unwrap()?;
+                let t1 = iter.next().unwrap()?;
+                let t2 = iter.next().unwrap()?;
+                let t3 = iter.next().unwrap()?;
+                let t4 = iter.next().unwrap()?;
+                let t5 = iter.next().unwrap()?;
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3, t4, t5])
+            }
+            (7, Some(7)) => {
+                let t0 = iter.next().unwrap()?;
+                let t1 = iter.next().unwrap()?;
+                let t2 = iter.next().unwrap()?;
+                let t3 = iter.next().unwrap()?;
+                let t4 = iter.next().unwrap()?;
+                let t5 = iter.next().unwrap()?;
+                let t6 = iter.next().unwrap()?;
+                assert!(iter.next().is_none());
+                f(&[t0, t1, t2, t3, t4, t5, t6])
+            }
             _ => f(&iter.collect::<Result<SmallVec<[_; 8]>, _>>()?),
         })
     }