src/test/ui/traits/suggest-where-clause.stderr

   1 error[E0277]: the size for values of type `U` cannot be known at compilation time
   2   --> $DIR/suggest-where-clause.rs:7:20
   3    |
   4 LL | fn check<T: Iterator, U: ?Sized>() {
   5    |                       - this type parameter needs to be `Sized`
   6 LL |     // suggest a where-clause, if needed
   7 LL |     mem::size_of::<U>();
   8    |                    ^ doesn't have a size known at compile-time
   9    |
  10   ::: $SRC_DIR/core/src/mem/mod.rs:LL:COL
  11    |
  12 LL | pub const fn size_of<T>() -> usize {
  13    |                      - required by this bound in `std::mem::size_of`
  14
  15 error[E0277]: the size for values of type `U` cannot be known at compilation time
  16   --> $DIR/suggest-where-clause.rs:10:5
  17    |
  18 LL | fn check<T: Iterator, U: ?Sized>() {
  19    |                       - this type parameter needs to be `Sized`
  20 ...
  21 LL |     mem::size_of::<Misc<U>>();
  22    |     ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
  23    |
  24   ::: $SRC_DIR/core/src/mem/mod.rs:LL:COL
  25    |
  26 LL | pub const fn size_of<T>() -> usize {
  27    |                      - required by this bound in `std::mem::size_of`
  28    |
  29    = note: required because it appears within the type `Misc<U>`
  30
  31 error[E0277]: the trait bound `u64: From<T>` is not satisfied
  32   --> $DIR/suggest-where-clause.rs:15:5
  33    |
  34 LL |     <u64 as From<T>>::from;
  35    |     ^^^^^^^^^^^^^^^^^^^^^^ the trait `From<T>` is not implemented for `u64`
  36    |
  37    = note: required by `from`
  38 help: consider introducing a `where` bound, but there might be an alternative better way to express this requirement
  39    |
  40 LL | fn check<T: Iterator, U: ?Sized>() where u64: From<T> {
  41    |                                    ^^^^^^^^^^^^^^^^^^
  42
  43 error[E0277]: the trait bound `u64: From<<T as Iterator>::Item>` is not satisfied
  44   --> $DIR/suggest-where-clause.rs:18:5
  45    |
  46 LL |     <u64 as From<<T as Iterator>::Item>>::from;
  47    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<<T as Iterator>::Item>` is not implemented for `u64`
  48    |
  49    = note: required by `from`
  50 help: consider introducing a `where` bound, but there might be an alternative better way to express this requirement
  51    |
  52 LL | fn check<T: Iterator, U: ?Sized>() where u64: From<<T as Iterator>::Item> {
  53    |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  54
  55 error[E0277]: the trait bound `Misc<_>: From<T>` is not satisfied
  56   --> $DIR/suggest-where-clause.rs:23:5
  57    |
  58 LL |     <Misc<_> as From<T>>::from;
  59    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<T>` is not implemented for `Misc<_>`
  60    |
  61    = note: required by `from`
  62
  63 error[E0277]: the size for values of type `[T]` cannot be known at compilation time
  64   --> $DIR/suggest-where-clause.rs:28:20
  65    |
  66 LL |     mem::size_of::<[T]>();
  67    |                    ^^^ doesn't have a size known at compile-time
  68    |
  69   ::: $SRC_DIR/core/src/mem/mod.rs:LL:COL
  70    |
  71 LL | pub const fn size_of<T>() -> usize {
  72    |                      - required by this bound in `std::mem::size_of`
  73    |
  74    = help: the trait `Sized` is not implemented for `[T]`
  75
  76 error[E0277]: the size for values of type `[&U]` cannot be known at compilation time
  77   --> $DIR/suggest-where-clause.rs:31:5
  78    |
  79 LL |     mem::size_of::<[&U]>();
  80    |     ^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
  81    |
  82   ::: $SRC_DIR/core/src/mem/mod.rs:LL:COL
  83    |
  84 LL | pub const fn size_of<T>() -> usize {
  85    |                      - required by this bound in `std::mem::size_of`
  86    |
  87    = help: the trait `Sized` is not implemented for `[&U]`
  88
  89 error: aborting due to 7 previous errors
  90
  91 For more information about this error, try `rustc --explain E0277`.