1 error: unconstrained generic constant
2 --> $DIR/cross_crate_predicate.rs:7:13
4 LL | let _ = const_evaluatable_lib::test1::<T>();
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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
11 LL | [u8; std::mem::size_of::<T>() - 1]: Sized,
12 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
14 error: unconstrained generic constant
15 --> $DIR/cross_crate_predicate.rs:7:13
17 LL | let _ = const_evaluatable_lib::test1::<T>();
18 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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
24 LL | pub fn test1<T>() -> [u8; std::mem::size_of::<T>() - 1]
25 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
27 error: unconstrained generic constant
28 --> $DIR/cross_crate_predicate.rs:7:13
30 LL | let _ = const_evaluatable_lib::test1::<T>();
31 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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
37 LL | [u8; std::mem::size_of::<T>() - 1]: Sized,
38 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
40 error: unconstrained generic constant
41 --> $DIR/cross_crate_predicate.rs:7:13
43 LL | let _ = const_evaluatable_lib::test1::<T>();
44 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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
50 LL | pub fn test1<T>() -> [u8; std::mem::size_of::<T>() - 1]
51 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test1`
53 error: aborting due to 4 previous errors