blob: 3c84d3d5cc26064b22a79822b90b61d9bf9baf76 (
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() {}
|
