From 490c70374d9e98d8f9b761afe1be1a36a8ed41d0 Mon Sep 17 00:00:00 2001 From: Arthur Cohen Date: Thu, 16 Jan 2025 14:46:06 +0100 Subject: derive(Copy): Improve bounds when deriving Copy gcc/rust/ChangeLog: * expand/rust-derive-copy.cc: Always add an extra Copy bound on generic Copy impls. --- gcc/rust/expand/rust-derive-copy.cc | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'gcc/rust/expand') diff --git a/gcc/rust/expand/rust-derive-copy.cc b/gcc/rust/expand/rust-derive-copy.cc index 1f52a08e..d969943 100644 --- a/gcc/rust/expand/rust-derive-copy.cc +++ b/gcc/rust/expand/rust-derive-copy.cc @@ -52,7 +52,7 @@ DeriveCopy::copy_impl ( // for example: // // #[derive(Copy)] - // struct Be { ... } + // struct Be { ... } // // we need to generate the impl block: // @@ -87,7 +87,12 @@ DeriveCopy::copy_impl ( = GenericArg::create_type (std::move (associated_type)); generic_args.push_back (std::move (type_arg)); - auto impl_type_param = builder.new_type_param (type_param); + std::vector> extra_bounds; + extra_bounds.emplace_back (std::unique_ptr ( + new TraitBound (builder.type_path (LangItem::Kind::COPY), loc))); + + auto impl_type_param + = builder.new_type_param (type_param, std::move (extra_bounds)); impl_generics.push_back (std::move (impl_type_param)); } break; -- cgit v1.1