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