[rustc.git] / src / test / ui / const-generics / occurs-check / unused-substs-1.stderr

error[E0277]: the trait bound `A<{_: usize}>: Bar<{_: usize}>` is not satisfied
  --> $DIR/unused-substs-1.rs:12:13
   |
LL |     let _ = A;
   |             ^ the trait `Bar<{_: usize}>` is not implemented for `A<{_: usize}>`
   |
   = help: the trait `Bar<N>` is implemented for `A<7_usize>`
note: required by a bound in `A`
  --> $DIR/unused-substs-1.rs:9:11
   |
LL | struct A<const N: usize>
   |        - required by a bound in this
LL | where
LL |     A<N>: Bar<N>;
   |           ^^^^^^ required by this bound in `A`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
cdc7bbd5 XL	1	error[E0277]: the trait bound `A<{_: usize}>: Bar<{_: usize}>` is not satisfied
	2	--> $DIR/unused-substs-1.rs:12:13
	3	\|
136023e0 XL	4	LL \| let _ = A;
136023e0 XL	5	\| ^ the trait `Bar<{_: usize}>` is not implemented for `A<{_: usize}>`
cdc7bbd5	6	\|
04454e1e	7	= help: the trait `Bar<N>` is implemented for `A<7_usize>`
3c0e092e XL	8	note: required by a bound in `A`
3c0e092e XL	9	--> $DIR/unused-substs-1.rs:9:11
136023e0	10	\|
04454e1e FG	11	LL \| struct A<const N: usize>
	12	\| - required by a bound in this
	13	LL \| where
3c0e092e XL	14	LL \| A<N>: Bar<N>;
3c0e092e XL	15	\| ^^^^^^ required by this bound in `A`
cdc7bbd5 XL	16
	17	error: aborting due to previous error
	18
	19	For more information about this error, try `rustc --explain E0277`.