rust/tests/ui/specialization/issue-59435.stderr

error[E0277]: the trait bound `MyStruct: Default` is not satisfied
  --> $DIR/issue-59435.rs:11:27
   |
LL |     default type MyType = MyStruct;
   |                           ^^^^^^^^ the trait `Default` is not implemented for `MyStruct`
   |
note: required by a bound in `MyTrait::MyType`
  --> $DIR/issue-59435.rs:7:18
   |
LL |     type MyType: Default;
   |                  ^^^^^^^ required by this bound in `MyTrait::MyType`
help: consider annotating `MyStruct` with `#[derive(Default)]`
   |
LL | #[derive(Default)]
   |

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 `MyStruct: Default` is not satisfied
Tweak assoc type obligation spans * Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors 2021-12-11 02:20:41 +00:00			`--> $DIR/issue-59435.rs:11:27`
Add test for issue-59435 2020-06-23 17:52:42 +09:00			`\|`
			`LL \| default type MyType = MyStruct;`
Tweak assoc type obligation spans * Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors 2021-12-11 02:20:41 +00:00			\| ^^^^^^^^ the trait `Default` is not implemented for `MyStruct`
Use note to point at bound introducing requirement 2021-07-31 09:26:55 -07:00			`\|`
			note: required by a bound in `MyTrait::MyType`
			`--> $DIR/issue-59435.rs:7:18`
			`\|`
			`LL \| type MyType: Default;`
			\| ^^^^^^^ required by this bound in `MyTrait::MyType`
Suggest derivable trait on E0277 2022-03-31 23:58:45 +09:00			help: consider annotating `MyStruct` with `#[derive(Default)]`
			`\|`
			`LL \| #[derive(Default)]`
			`\|`
Add test for issue-59435 2020-06-23 17:52:42 +09:00
			`error: aborting due to previous error`

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