31 lines
666 B
Rust
31 lines
666 B
Rust
|
// run-pass
|
||
|
|
#![feature(const_generics, const_evaluatable_checked)]
|
||
|
|
#![allow(incomplete_features)]
|
||
|
|
|
||
|
|
const fn test_me<T>(a: usize, b: usize) -> usize {
|
||
|
|
if a < b {
|
||
|
|
std::mem::size_of::<T>()
|
||
|
|
} else {
|
||
|
|
std::usize::MAX
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
fn test_simple<T>() -> [u8; std::mem::size_of::<T>()]
|
||
|
|
where
|
||
|
|
[u8; std::mem::size_of::<T>()]: Sized,
|
||
|
|
{
|
||
|
|
[0; std::mem::size_of::<T>()]
|
||
|
|
}
|
||
|
|
|
||
|
|
fn test_with_args<T, const N: usize>() -> [u8; test_me::<T>(N, N + 1) + N]
|
||
|
|
where
|
||
|
|
[u8; test_me::<T>(N, N + 1) + N]: Sized,
|
||
|
|
{
|
||
|
|
[0; test_me::<T>(N, N + 1) + N]
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
assert_eq!([0; 8], test_simple::<u64>());
|
||
|
|
assert_eq!([0; 12], test_with_args::<u64, 4>());
|
||
|
|
}
|