src/test/ui/const-generics/const_evaluatable_checked/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   ::: $DIR/auxiliary/const_evaluatable_lib.rs:6:10
   8    |
   9 LL |     [u8; std::mem::size_of::<T>() - 1]: Sized,
  10    |          ---------------------------- required by this bound in `test1`
  11    |
  12    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  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   ::: $DIR/auxiliary/const_evaluatable_lib.rs:4:27
  21    |
  22 LL | pub fn test1<T>() -> [u8; std::mem::size_of::<T>() - 1]
  23    |                           ---------------------------- required by this bound in `test1`
  24    |
  25    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  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   ::: $DIR/auxiliary/const_evaluatable_lib.rs:6:10
  34    |
  35 LL |     [u8; std::mem::size_of::<T>() - 1]: Sized,
  36    |          ---------------------------- required by this bound in `test1`
  37    |
  38    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  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   ::: $DIR/auxiliary/const_evaluatable_lib.rs:4:27
  47    |
  48 LL | pub fn test1<T>() -> [u8; std::mem::size_of::<T>() - 1]
  49    |                           ---------------------------- required by this bound in `test1`
  50    |
  51    = help: try adding a `where` bound using this expression: `where [(); std::mem::size_of::<T>() - 1]:`
  52
  53 error: aborting due to 4 previous errors
  54