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