update test

Author: lcnr

src/test/ui/const-generics/type-dependent/issue-61936.rs

@@ -20,11 +20,13 @@ struct ArrayWindows<'a, T, const N: usize> {
 impl <'a, T: Clone, const N: usize> Iterator for ArrayWindows<'a, T, N> {
     type Item = [T; N];
     fn next(&mut self) -> Option<Self::Item> {
+        // Note: this is unsound for some `T` and not meant as an example
+        // on how to implement `ArrayWindows`.
         let mut res = unsafe{ std::mem::zeroed() };
         let mut ptr = &mut res as *mut [T; N] as *mut T;
 
         for i in 0..N {
-            match self.slice[i..].get(i) {
+            match self.slice[self.idx..].get(i) {
                 None => return None,
                 Some(elem) => unsafe { std::ptr::write_volatile(ptr, elem.clone())},
             };
@@ -39,7 +41,7 @@ impl <'a, T: Clone, const N: usize> Iterator for ArrayWindows<'a, T, N> {
 const FOUR: usize = 4;
 
 fn main() {
-    let v: Vec<usize> = vec![100; 0usize];
+    let v: Vec<usize> = vec![0; 100];
 
     for array in v.as_slice().array_windows::<FOUR>() {
         assert_eq!(array, [0, 0, 0, 0])

src/test/ui/impl-trait/auto-trait-leak.stderr

@@ -34,11 +34,6 @@ note: ...which requires building MIR for `cycle1`...
    |
 LL | fn cycle1() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
-note: ...which requires type-checking the potential const argument `cycle1`...
-  --> $DIR/auto-trait-leak.rs:12:1
-   |
-LL | fn cycle1() -> impl Clone {
-   | ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires type-checking `cycle1`...
   --> $DIR/auto-trait-leak.rs:12:1
    |
@@ -80,11 +75,6 @@ note: ...which requires building MIR for `cycle2`...
    |
 LL | fn cycle2() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
-note: ...which requires type-checking the potential const argument `cycle2`...
-  --> $DIR/auto-trait-leak.rs:20:1
-   |
-LL | fn cycle2() -> impl Clone {
-   | ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires type-checking `cycle2`...
   --> $DIR/auto-trait-leak.rs:20:1
    |