opt-in-copy

Kivooeo · Kivooeo · commit b4485d89dc3a · 2025-07-01T02:19:51.000+05:00
diff --git a/tests/ui/traits/copy-requires-all-fields-copy.rs b/tests/ui/traits/copy-requires-all-fields-copy.rs
@@ -1,3 +1,5 @@
+//! Test that `Copy` cannot be implemented if any field doesn't implement `Copy`.
+
 struct CantCopyThis;
 
 struct IWantToCopyThis {
diff --git a/tests/ui/traits/copy-requires-all-fields-copy.stderr b/tests/ui/traits/copy-requires-all-fields-copy.stderr
@@ -1,5 +1,5 @@
 error[E0204]: the trait `Copy` cannot be implemented for this type
-  --> $DIR/opt-in-copy.rs:7:15
+  --> $DIR/copy-requires-all-fields-copy.rs:9:15
    |
 LL |     but_i_cant: CantCopyThis,
    |     ------------------------ this field does not implement `Copy`
@@ -8,7 +8,7 @@ LL | impl Copy for IWantToCopyThis {}
    |               ^^^^^^^^^^^^^^^
 
 error[E0204]: the trait `Copy` cannot be implemented for this type
-  --> $DIR/opt-in-copy.rs:19:15
+  --> $DIR/copy-requires-all-fields-copy.rs:21:15
    |
 LL |     ButICant(CantCopyThisEither),
    |              ------------------ this field does not implement `Copy`

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	+//! Test that `Copy` cannot be implemented if any field doesn't implement `Copy`.
	`2`	`+`
`1`	`3`	`struct CantCopyThis;`
`2`	`4`
`3`	`5`	`struct IWantToCopyThis {`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0204]: the trait `Copy` cannot be implemented for this type
`2`		`- --> $DIR/opt-in-copy.rs:7:15`
	`2`	`+ --> $DIR/copy-requires-all-fields-copy.rs:9:15`
`3`	`3`	`\|`
`4`	`4`	`LL \| but_i_cant: CantCopyThis,`
`5`	`5`	\| ------------------------ this field does not implement `Copy`
`@@ -8,7 +8,7 @@ LL \| impl Copy for IWantToCopyThis {}`
`8`	`8`	`\| ^^^^^^^^^^^^^^^`
`9`	`9`
`10`	`10`	error[E0204]: the trait `Copy` cannot be implemented for this type
`11`		`- --> $DIR/opt-in-copy.rs:19:15`
	`11`	`+ --> $DIR/copy-requires-all-fields-copy.rs:21:15`
`12`	`12`	`\|`
`13`	`13`	`LL \| ButICant(CantCopyThisEither),`
`14`	`14`	\| ------------------ this field does not implement `Copy`