summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/issues/issue-86033.rs
blob: cf08f722fbb8092d26868b37ca3acf324a78b118 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// check-pass

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

pub trait IsTrue<const T: bool> {}
impl IsTrue<true> for () {}

pub trait IsZST {}

impl<T> IsZST for T
where
    (): IsTrue<{ std::mem::size_of::<T>() == 0 }>
{}

fn _func() -> impl IsZST {
    || {}
}

fn main() {}