os-rust/src/test/ui/repeat-expr/repeat-to-run-dtor-twice.stderr

error[E0277]: the trait bound `Foo: Copy` is not satisfied
  --> $DIR/repeat-to-run-dtor-twice.rs:17:15
   |
LL |     let _ = [ a; 5 ];
   |               ^ the trait `Copy` is not implemented for `Foo`
   |
   = note: the `Copy` trait is required because the repeated element will be copied
help: consider annotating `Foo` with `#[derive(Copy)]`
   |
LL | #[derive(Copy)]
   |

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
pretty: trim paths of unique symbols If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not. 2020-09-02 10:40:56 +03:00			error[E0277]: the trait bound `Foo: Copy` is not satisfied
Check that repeat expression elements are Copy (ignoring lifetimes) in typeck and that they are Copy (with proper lifetime checks) in borrowck 2022-04-11 16:38:48 +00:00			`--> $DIR/repeat-to-run-dtor-twice.rs:17:15`
Moved compile-fail tests to ui tests. 2018-08-08 14:28:26 +02:00			`\|`
			`LL \| let _ = [ a; 5 ];`
Check that repeat expression elements are Copy (ignoring lifetimes) in typeck and that they are Copy (with proper lifetime checks) in borrowck 2022-04-11 16:38:48 +00:00			\| ^ the trait `Copy` is not implemented for `Foo`
Moved compile-fail tests to ui tests. 2018-08-08 14:28:26 +02:00			`\|`
			= note: the `Copy` trait is required because the repeated element will be copied
Suggest derivable trait on E0277 2022-03-31 23:58:45 +09:00			help: consider annotating `Foo` with `#[derive(Copy)]`
			`\|`
			`LL \| #[derive(Copy)]`
			`\|`
Moved compile-fail tests to ui tests. 2018-08-08 14:28:26 +02:00
			`error: aborting due to previous error`

			For more information about this error, try `rustc --explain E0277`.