Make Clone::clone a lang item

model-checking · Jul 25, 2024 · 8488ae6 · 8488ae6
1 parent 2fff48d
commit 8488ae6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/src/clone.rs b/core/src/clone.rs
@@ -160,6 +160,9 @@ pub trait Clone: Sized {
     /// ```
     #[stable(feature = "rust1", since = "1.0.0")]
     #[must_use = "cloning is often expensive and is not expected to have side effects"]
+    // Clone::clone is special because the compiler generates MIR to implement it for some types.
+    // See InstanceKind::CloneShim.
+    #[cfg_attr(not(bootstrap), lang = "clone_fn")]
     fn clone(&self) -> Self;
 
     /// Performs copy-assignment from `source`.