tests/ui/traits/new-solver/dont-ice-on-assoc-projection.rs


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

// compile-flags: -Ztrait-solver=next-coherence

// Makes sure we don't ICE on associated const projection when the feature gate
// is not enabled, since we should avoid encountering ICEs on stable if possible.

trait Bar {
    const ASSOC: usize;
}
impl Bar for () {
    const ASSOC: usize = 1;
}

trait Foo {}
impl Foo for () {}
impl<T> Foo for T where T: Bar<ASSOC = 0> {}
//~^ ERROR associated const equality is incomplete
//~| ERROR conflicting implementations of trait `Foo` for type `()`

fn main() {}