blob: 914047236ab5d3d7a7c70dec1e1e450451a1419d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// check-pass
#![allow(incomplete_features)]
#![feature(generic_const_exprs)]
pub struct Assert<const COND: bool>();
pub trait IsTrue {}
impl IsTrue for Assert<true> {}
pub trait IsNotZST {}
impl<T> IsNotZST for T where Assert<{ std::mem::size_of::<T>() > 0 }>: IsTrue {}
fn main() {}
|
