blob: dfc69e0b0689d0e4ee7dc1d985a1e33383896092 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// aux-build:const_evaluatable_lib.rs
// run-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
extern crate const_evaluatable_lib;
fn user<T>() where [u8; std::mem::size_of::<T>() - 1]: Sized {
assert_eq!(const_evaluatable_lib::test1::<T>(), [0; std::mem::size_of::<T>() - 1]);
}
fn main() {
assert_eq!(const_evaluatable_lib::test1::<u32>(), [0; 3]);
user::<u32>();
user::<u64>();
}
|