rust/tests/ui/issues/issue-66353.stderr

error[E0277]: the trait bound `(): _A` is not satisfied
  --> $DIR/issue-66353.rs:12:15
   |
LL |     _Func::< <() as _A>::AssocT >::func(());
   |               ^^ the trait `_A` is not implemented for `()`
   |
help: this trait has no implementations, consider adding one
  --> $DIR/issue-66353.rs:7:1
   |
LL | trait _A {
   | ^^^^^^^^

error[E0277]: the trait bound `(): _Func<_>` is not satisfied
  --> $DIR/issue-66353.rs:12:41
   |
LL |     _Func::< <() as _A>::AssocT >::func(());
   |     ----------------------------------- ^^ the trait `_Func<_>` is not implemented for `()`
   |     |
   |     required by a bound introduced by this call
   |
help: this trait has no implementations, consider adding one
  --> $DIR/issue-66353.rs:3:1
   |
LL | trait _Func<T> {
   | ^^^^^^^^^^^^^^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0277`.
On let binding type point to type parameter that introduced unmet bound On the following example, point at `String` instead of the whole type: ``` error[E0277]: the trait bound `String: Copy` is not satisfied --> $DIR/own-bound-span.rs:14:24 \| LL \| let _: <S as D>::P<String>; \| ^^^^^^ the trait `Copy` is not implemented for `String` \| note: required by a bound in `D::P` --> $DIR/own-bound-span.rs:4:15 \| LL \| type P<T: Copy>; \| ^^^^ required by this bound in `D::P` ``` 2023-08-25 15:59:59 +00:00			error[E0277]: the trait bound `(): _A` is not satisfied
			`--> $DIR/issue-66353.rs:12:15`
			`\|`
			`LL \| _Func::< <() as _A>::AssocT >::func(());`
			\| ^^ the trait `_A` is not implemented for `()`
Point out if a local trait has no implementations 2023-09-10 03:33:07 +00:00			`\|`
			`help: this trait has no implementations, consider adding one`
			`--> $DIR/issue-66353.rs:7:1`
			`\|`
			`LL \| trait _A {`
			`\| ^^^^^^^^`
On let binding type point to type parameter that introduced unmet bound On the following example, point at `String` instead of the whole type: ``` error[E0277]: the trait bound `String: Copy` is not satisfied --> $DIR/own-bound-span.rs:14:24 \| LL \| let _: <S as D>::P<String>; \| ^^^^^^ the trait `Copy` is not implemented for `String` \| note: required by a bound in `D::P` --> $DIR/own-bound-span.rs:4:15 \| LL \| type P<T: Copy>; \| ^^^^ required by this bound in `D::P` ``` 2023-08-25 15:59:59 +00:00
Do not ICE on recovery from unmet associated type bound obligation 2019-11-13 22:28:15 +00:00			error[E0277]: the trait bound `(): _Func<_>` is not satisfied
			`--> $DIR/issue-66353.rs:12:41`
			`\|`
			`LL \| _Func::< <() as _A>::AssocT >::func(());`
Point at call span that introduced obligation for the arg 2021-09-07 11:30:53 +00:00			\| ----------------------------------- ^^ the trait `_Func<_>` is not implemented for `()`
			`\| \|`
			`\| required by a bound introduced by this call`
Point out if a local trait has no implementations 2023-09-10 03:33:07 +00:00			`\|`
			`help: this trait has no implementations, consider adding one`
			`--> $DIR/issue-66353.rs:3:1`
			`\|`
			`LL \| trait _Func<T> {`
			`\| ^^^^^^^^^^^^^^`
Do not ICE on recovery from unmet associated type bound obligation 2019-11-13 22:28:15 +00:00
Remove unnecessary `select_obligations_where_possible` and redundant errors 2023-08-26 19:35:54 +00:00			`error: aborting due to 2 previous errors`
Do not ICE on recovery from unmet associated type bound obligation 2019-11-13 22:28:15 +00:00
			For more information about this error, try `rustc --explain E0277`.