tests/ui/const-generics/generic_const_exprs/cross_crate_predicate.stderr

   1 error: unconstrained generic constant
   2   --> $DIR/cross_crate_predicate.rs:7:13
   3    |
   4 LL |     let _ = const_evaluatable_lib::test1::<T>();
   5    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
   8 note: required by a bound in `test1`
   9   --> $DIR/auxiliary/const_evaluatable_lib.rs:6:10
  10    |
  11 LL |     [u8; std::mem::size_of::<T>() - 1]: Sized,
  12    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
  13
  14 error: unconstrained generic constant
  15   --> $DIR/cross_crate_predicate.rs:7:13
  16    |
  17 LL |     let _ = const_evaluatable_lib::test1::<T>();
  18    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  19    |
  20    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  21 note: required by a bound in `test1`
  22   --> $DIR/auxiliary/const_evaluatable_lib.rs:4:27
  23    |
  24 LL | pub fn test1<T>() -> [u8; std::mem::size_of::<T>() - 1]
  25    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
  26
  27 error: unconstrained generic constant
  28   --> $DIR/cross_crate_predicate.rs:7:13
  29    |
  30 LL |     let _ = const_evaluatable_lib::test1::<T>();
  31    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  32    |
  33    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  34 note: required by a bound in `test1`
  35   --> $DIR/auxiliary/const_evaluatable_lib.rs:6:10
  36    |
  37 LL |     [u8; std::mem::size_of::<T>() - 1]: Sized,
  38    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
  39
  40 error: unconstrained generic constant
  41   --> $DIR/cross_crate_predicate.rs:7:13
  42    |
  43 LL |     let _ = const_evaluatable_lib::test1::<T>();
  44    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  45    |
  46    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  47 note: required by a bound in `test1`
  48   --> $DIR/auxiliary/const_evaluatable_lib.rs:4:27
  49    |
  50 LL | pub fn test1<T>() -> [u8; std::mem::size_of::<T>() - 1]
  51    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
  52
  53 error: aborting due to 4 previous errors
  54