[rustc.git] / src / test / ui / generic-associated-types / issue-68656-unsized-values.stderr

error[E0271]: type mismatch resolving `<T as Deref>::Target == T`
  --> $DIR/issue-68656-unsized-values.rs:15:5
   |
LL |     type Item<'a>: std::ops::Deref<Target = T>;
   |                                    ---------- required by this bound in `UnsafeCopy::Item`
...
LL | impl<T: Copy + std::ops::Deref> UnsafeCopy<T> for T {
   |      - this type parameter
LL |     type Item<'a> = T;
   |     ^^^^^^^^^^^^^^^^^^ expected type parameter `T`, found associated type
   |
   = note: expected type parameter `T`
             found associated type `<T as Deref>::Target`
help: consider further restricting this bound
   |
LL | impl<T: Copy + std::ops::Deref + Deref<Target = T>> UnsafeCopy<T> for T {
   |                                ^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0271`.
Commit	Line	Data
1b1a35ee	1	error[E0271]: type mismatch resolving `<T as Deref>::Target == T`
136023e0	2	--> $DIR/issue-68656-unsized-values.rs:15:5
f035d41b XL	3	\|
f035d41b XL	4	LL \| type Item<'a>: std::ops::Deref<Target = T>;
29967ef6	5	\| ---------- required by this bound in `UnsafeCopy::Item`
f035d41b XL	6	...
	7	LL \| impl<T: Copy + std::ops::Deref> UnsafeCopy<T> for T {
	8	\| - this type parameter
	9	LL \| type Item<'a> = T;
	10	\| ^^^^^^^^^^^^^^^^^^ expected type parameter `T`, found associated type
	11	\|
	12	= note: expected type parameter `T`
1b1a35ee	13	found associated type `<T as Deref>::Target`
f035d41b XL	14	help: consider further restricting this bound
f035d41b XL	15	\|
1b1a35ee XL	16	LL \| impl<T: Copy + std::ops::Deref + Deref<Target = T>> UnsafeCopy<T> for T {
1b1a35ee XL	17	\| ^^^^^^^^^^^^^^^^^^^
f035d41b	18
136023e0	19	error: aborting due to previous error
f035d41b XL	20
f035d41b XL	21	For more information about this error, try `rustc --explain E0271`.