tests/crashes/134641.rs


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

//@ known-bug: #134641
#![feature(associated_const_equality)]

pub trait IsVoid {
    const IS_VOID: bool;
}
impl IsVoid for () {
    const IS_VOID: bool = true;
}

pub trait Maybe {}
impl Maybe for () {}
impl Maybe for () where (): IsVoid<IS_VOID = true> {}