tests/crashes/134615.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//@ known-bug: #134615

#![feature(generic_const_exprs)]

trait Trait {
    const CONST: usize;
}

fn f()
where
    for<'a> (): Trait,
    [(); <() as Trait>::CONST]:,
{
}

pub fn main() {}