--- /dev/null
+#[test]
+fn convert() {
+ const fn from(x: i32) -> i32 {
+ i32::from(x)
+ }
+
+ const FOO: i32 = from(42);
+ assert_eq!(FOO, 42);
+
+ const fn into(x: Vec<String>) -> Vec<String> {
+ x.into()
+ }
+
+ const BAR: Vec<String> = into(Vec::new());
+ assert_eq!(BAR, Vec::<String>::new());
+}
#![feature(cfg_target_has_atomic)]
#![feature(const_assume)]
#![feature(const_cell_into_inner)]
+#![feature(const_convert)]
#![feature(const_maybe_uninit_assume_init)]
+#![feature(const_num_from_num)]
#![feature(const_ptr_read)]
#![feature(const_ptr_write)]
#![feature(const_ptr_offset)]
#![feature(const_trait_impl)]
-#![feature(const_num_from_num)]
#![feature(core_intrinsics)]
#![feature(core_private_bignum)]
#![feature(core_private_diy_float)]
mod clone;
mod cmp;
mod const_ptr;
+mod convert;
mod fmt;
mod hash;
mod intrinsics;
+++ /dev/null
-// run-pass
-
-#![feature(const_trait_impl)]
-#![feature(const_identity_convert)]
-
-fn main() {
- const fn from(x: i32) -> i32 {
- i32::from(x)
- }
-
- const FOO: i32 = from(42);
- assert_eq!(FOO, 42);
-
- const fn into(x: Vec<String>) -> Vec<String> {
- x.into()
- }
-
- const BAR: Vec<String> = into(Vec::new());
- assert_eq!(BAR, Vec::<String>::new());
-}