LL | foo((), drop)
| ^^^^
| |
- | expected signature of `fn(<() as Trait<'a>>::Item) -> _`
+ | expected signature of `for<'a> fn(<() as Trait<'a>>::Item) -> _`
| found signature of `fn(()) -> _`
error[E0277]: the size for values of type `<() as Trait<'_>>::Item` cannot be known at compilation time
LL | foo((), drop)
| ^^^^ doesn't have a size known at compile-time
|
- ::: $SRC_DIR/libcore/mem/mod.rs:LL:COL
+ ::: $SRC_DIR/core/src/mem/mod.rs:LL:COL
|
LL | pub fn drop<T>(_x: T) {}
| - required by this bound in `std::mem::drop`
|
- = help: the trait `std::marker::Sized` is not implemented for `<() as Trait<'_>>::Item`
+ = help: the trait `Sized` is not implemented for `<() as Trait<'_>>::Item`
help: consider further restricting the associated type
|
-LL | fn main() where <() as Trait<'_>>::Item: std::marker::Sized {
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL | fn main() where <() as Trait<'_>>::Item: Sized {
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to 2 previous errors