rust/tests/ui/wf/wf-trait-fn-arg.next.stderr

error[E0277]: the trait bound `Self: Eq` is not satisfied
  --> $DIR/wf-trait-fn-arg.rs:16:23
   |
LL |     fn bar(&self, x: &Bar<Self>);
   |                       ^^^^^^^^^ the trait `Eq` is not implemented for `Self`
   |
note: required by a bound in `Bar`
  --> $DIR/wf-trait-fn-arg.rs:11:15
   |
LL | struct Bar<T: Eq + ?Sized> {
   |               ^^ required by this bound in `Bar`
help: consider further restricting `Self`
   |
LL |     fn bar(&self, x: &Bar<Self>) where Self: Eq;
   |                                  ++++++++++++++

error: aborting due to 1 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 07:40:56 +00:00			error[E0277]: the trait bound `Self: Eq` is not satisfied
Don't pick `T: FnPtr` nested goals 2025-01-22 06:40:43 +00:00			`--> $DIR/wf-trait-fn-arg.rs:16:23`
Moved compile-fail tests to ui tests. 2018-08-08 12:28:26 +00:00			`\|`
			`LL \| fn bar(&self, x: &Bar<Self>);`
Support HIR wf checking for function signatures During function type-checking, we normalize any associated types in the function signature (argument types + return type), and then create WF obligations for each of the normalized types. The HIR wf code does not currently support this case, so any errors that we get have imprecise spans. This commit extends `ObligationCauseCode::WellFormed` to support recording a function parameter, allowing us to get the corresponding HIR type if an error occurs. Function typechecking is modified to pass this information during signature normalization and WF checking. The resulting code is fairly verbose, due to the fact that we can no longer normalize the entire signature with a single function call. As part of the refactoring, we now perform HIR-based WF checking for several other 'typed items' (statics, consts, and inherent impls). As a result, WF and projection errors in a function signature now have a precise span, which points directly at the responsible type. If a function signature is constructed via a macro, this will allow the error message to point at the code 'most responsible' for the error (e.g. a user-supplied macro argument). 2021-07-18 16:33:49 +00:00			\| ^^^^^^^^^ the trait `Eq` is not implemented for `Self`
Increase verbosity of bound restriction suggestions - Make the bound restriction suggestion `span_suggestion_verbose`. - Fix whitespace typo. 2020-04-22 23:31:58 +00:00			`\|`
Manually walk into WF obligations in BestObligation proof tree visitor 2025-01-22 20:13:36 +00:00			note: required by a bound in `Bar`
			`--> $DIR/wf-trait-fn-arg.rs:11:15`
			`\|`
			`LL \| struct Bar<T: Eq + ?Sized> {`
			\| ^^ required by this bound in `Bar`
Increase verbosity of bound restriction suggestions - Make the bound restriction suggestion `span_suggestion_verbose`. - Fix whitespace typo. 2020-04-22 23:31:58 +00:00			help: consider further restricting `Self`
			`\|`
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 07:40:56 +00:00			`LL \| fn bar(&self, x: &Bar<Self>) where Self: Eq;`
Modify structured suggestion output * On suggestions that include deletions, use a diff inspired output format * When suggesting addition, use `+` as underline * Color highlight modified span 2021-06-22 02:07:19 +00:00			`\| ++++++++++++++`
Moved compile-fail tests to ui tests. 2018-08-08 12:28:26 +00:00
Show number in error message even for one error Co-authored-by: Adrian <adrian.iosdev@gmail.com> 2023-11-21 15:44:16 +00:00			`error: aborting due to 1 previous error`
Moved compile-fail tests to ui tests. 2018-08-08 12:28:26 +00:00
			For more information about this error, try `rustc --explain E0277`.