tests/crashes/125014.rs


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

//@ known-bug: rust-lang/rust#125014
//@ compile-flags: -Znext-solver=coherence
#![feature(specialization)]

trait Foo {}

impl Foo for <u16 as Assoc>::Output {}

impl Foo for u32 {}

trait Assoc {
    type Output;
}
impl Output for u32 {}
impl Assoc for <u16 as Assoc>::Output {
    default type Output = bool;
}