enable default bounds to check Move

Author: yoshuawuyts

compiler/rustc_session/src/options.rs

@@ -2241,7 +2241,7 @@ options! {
         "Use WebAssembly error handling for wasm32-unknown-emscripten"),
     enforce_type_length_limit: bool = (false, parse_bool, [TRACKED],
         "enforce the type length limit when monomorphizing instances in codegen"),
-    experimental_default_bounds: bool = (false, parse_bool, [TRACKED],
+    experimental_default_bounds: bool = (true, parse_bool, [TRACKED],
         "enable default bounds for experimental group of auto traits"),
     export_executable_symbols: bool = (false, parse_bool, [TRACKED],
         "export symbols from executables, as if they were dynamic libraries"),

library/core/src/marker.rs

@@ -1369,6 +1369,7 @@ pub trait CoercePointeeValidated {
 
 /// Types that do not require a stable memory address, and so can be freely
 /// `move`d.
+#[lang = "default_trait1"]
 #[unstable(feature = "move_trait", issue = "none")]
 pub unsafe auto trait Move {
     // empty.