Make Clone::clone a lang item

rust-lang · Jul 25, 2024 · 5ac92d5 · 5ac92d5
1 parent 92c6c03
commit 5ac92d5
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/compiler/rustc_hir/src/lang_items.rs b/compiler/rustc_hir/src/lang_items.rs
@@ -162,6 +162,7 @@ language_item_table! {
  StructuralPeq, sym::structural_peq, structural_peq_trait, Target::Trait, GenericRequirement::None;
  Copy, sym::copy, copy_trait, Target::Trait, GenericRequirement::Exact(0);
  Clone, sym::clone, clone_trait, Target::Trait, GenericRequirement::None;
+ CloneFn, sym::clone_fn, clone_fn, Target::Method(MethodKind::Trait { body: false }), GenericRequirement::None;
  Sync, sym::sync, sync_trait, Target::Trait, GenericRequirement::Exact(0);
  DiscriminantKind, sym::discriminant_kind, discriminant_kind_trait, Target::Trait, GenericRequirement::None;
  /// The associated item of the `DiscriminantKind` trait.

diff --git a/compiler/rustc_mir_transform/src/instsimplify.rs b/compiler/rustc_mir_transform/src/instsimplify.rs
@@ -271,8 +271,7 @@ impl<'tcx> InstSimplifyContext<'tcx, '_> {
  return;
  }
 
- let trait_def_id = self.tcx.trait_of_item(fn_def_id);
- if trait_def_id.is_none() || trait_def_id != self.tcx.lang_items().clone_trait() {
+ if Some(fn_def_id) != self.tcx.lang_items().clone_fn() {
  return;
  }
 

diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
@@ -557,6 +557,7 @@ symbols! {
  clobber_abi,
  clone,
  clone_closures,
+ clone_fn,
  clone_from,
  closure,
  closure_lifetime_binder,

diff --git a/library/core/src/clone.rs b/library/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`.