test

Author: bend-n

library/coretests/tests/array.rs

@@ -741,3 +741,23 @@ fn const_array_ops() {
     struct Zst;
     assert_eq!([(); 10].try_map(|()| Some(Zst)), Some([const { Zst }; 10]));
 }
+
+#[test]
+fn extra_const_array_ops() {
+    const {
+        let x: [u8; 4] = const {
+            std::array::from_fn(const |i| i + 4).map(const |x| x * 2).map(const |x| x as _)
+        };
+        let y = 4;
+        struct Z(u16);
+        impl const Drop for Z {
+            fn drop(&mut self) {}
+        }
+        let w = Z(2);
+        let x: [u8; 4] = const {
+            std::array::from_fn(const |_| x[0] + y)
+                .map(const |x| x * w.0 as _)
+                .map(const |x| x as _)
+        };
+    }
+}

library/coretests/tests/lib.rs

@@ -17,6 +17,7 @@
 #![feature(const_bool)]
 #![feature(const_cell_traits)]
 #![feature(const_clone)]
+#![feature(const_closures)]
 #![feature(const_cmp)]
 #![feature(const_convert)]
 #![feature(const_default)]

tests/ui/traits/const-traits/const-closure-with-indestructible-indestructible.rs

@@ -0,0 +1,15 @@
+//@revisions: next old
+//@ ignore-compare-mode-next-solver (explicit revisions)
+//@[next] compile-flags: -Znext-solver
+#![feature(const_trait_impl, const_closures, const_destruct)]
+const fn i_need<F: [const] std::marker::Destruct>(x: F) {}
+
+fn main() {
+    const {
+        let v = Vec::<u8>::new();
+        i_need(const || {
+            let y = v;
+        })
+        //~^ ERROR the trait bound
+    };
+}

tests/ui/traits/const-traits/const-closure-with-indestructible-indestructible.stderr

@@ -0,0 +1,17 @@
+error[E0277]: the trait bound `Vec<u8>: const Destruct` is not satisfied
+  --> $DIR/const-closure-with-indestructible-indestructible.rs:8:16
+   |
+LL |         i_need(const || { let y = v; })
+   |         ------ ^^^^^^^^^^^^^^^^^^^^^^^
+   |         |
+   |         required by a bound introduced by this call
+   |
+note: required by a bound in `i_need`
+  --> $DIR/const-closure-with-indestructible-indestructible.rs:3:20
+   |
+LL | const fn i_need<F: [const] std::marker::Destruct>(x: F) {}
+   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `i_need`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.