Skip to content

Commit

Permalink
add const_evaluatable_checked test
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Jan 27, 2021
1 parent 742c972 commit 582a171
Showing 1 changed file with 24 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
// run-pass
// Test that we use the elaborated predicates from traits
// to satisfy const evaluatable predicates.
#![feature(const_generics, const_evaluatable_checked)]
#![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]);
}

0 comments on commit 582a171

Please sign in to comment.