blob: e4111157ecdbde931a59bbbc11d0fbe241913dce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// run-pass
// Test that we use the elaborated predicates from traits
// to satisfy const evaluatable predicates.
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
use std::mem::size_of;
trait Foo: Sized
where
[(); size_of::<Self>()]: Sized,
{
}
impl Foo for u64 {}
impl Foo for u32 {}
fn foo<T: Foo>() -> [u8; size_of::<T>()] {
[0; size_of::<T>()]
}
fn main() {
assert_eq!(foo::<u32>(), [0; 4]);
assert_eq!(foo::<u64>(), [0; 8]);
}
|