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