rust/tests/ui/chalkify/impl_wf_2.stderr

error[E0277]: the trait bound `f32: Foo` is not satisfied
  --> $DIR/impl_wf_2.rs:25:17
   |
LL |     type Item = f32;
   |                 ^^^ the trait `Foo` is not implemented for `f32`
   |
   = help: the trait `Foo` is implemented for `i32`
note: required by a bound in `Bar::Item`
  --> $DIR/impl_wf_2.rs:8:16
   |
LL |     type Item: Foo;
   |                ^^^ required by this bound in `Bar::Item`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Separate bounds and predicates for associated/opaque types 2020-06-27 20:36:35 +00:00			error[E0277]: the trait bound `f32: Foo` 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/impl_wf_2.rs:25:17`
Separate bounds and predicates for associated/opaque types 2020-06-27 20:36:35 +00:00			`\|`
			`LL \| type Item = f32;`
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 `Foo` is not implemented for `f32`
Use note to point at bound introducing requirement 2021-07-31 16:26:55 +00:00			`\|`
Mention implementers of unsatisfied trait When encountering an unsatisfied trait bound, if there are no other suggestions, mention all the types that do implement that trait: ``` error[E0277]: the trait bound `f32: Foo` is not satisfied --> $DIR/impl_wf.rs:22:6 \| LL \| impl Baz<f32> for f32 { } \| ^^^^^^^^ the trait `Foo` is not implemented for `f32` \| = help: the following other types implement trait `Foo`: Option<T> i32 str note: required by a bound in `Baz` --> $DIR/impl_wf.rs:18:31 \| LL \| trait Baz<U: ?Sized> where U: Foo { } \| ^^^ required by this bound in `Baz` ``` Mention implementers of traits in `ImplObligation`s. Do not mention other `impl`s for closures, ranges and `?`. 2021-12-13 20:56:40 +00:00			= help: the trait `Foo` is implemented for `i32`
Use note to point at bound introducing requirement 2021-07-31 16:26:55 +00:00			note: required by a bound in `Bar::Item`
			`--> $DIR/impl_wf_2.rs:8:16`
			`\|`
			`LL \| type Item: Foo;`
			\| ^^^ required by this bound in `Bar::Item`
Separate bounds and predicates for associated/opaque types 2020-06-27 20:36:35 +00:00
			`error: aborting due to previous error`

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