]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/const-generics/const_evaluatable_checked/fn_call.rs
2 #![feature(const_generics, const_evaluatable_checked)]
3 #![allow(incomplete_features)]
5 const fn test_me
<T
>(a
: usize, b
: usize) -> usize {
7 std
::mem
::size_of
::<T
>()
13 fn test_simple
<T
>() -> [u8; std
::mem
::size_of
::<T
>()]
15 [u8; std
::mem
::size_of
::<T
>()]: Sized
,
17 [0; std
::mem
::size_of
::<T
>()]
20 fn test_with_args
<T
, const N
: usize>() -> [u8; test_me
::<T
>(N
, N
+ 1) + N
]
22 [u8; test_me
::<T
>(N
, N
+ 1) + N
]: Sized
,
24 [0; test_me
::<T
>(N
, N
+ 1) + N
]
28 assert_eq
!([0; 8], test_simple
::<u64>());
29 assert_eq
!([0; 12], test_with_args
::<u64, 4>());