2024-09-11 16:57:04 -05:00
|
|
|
//@ known-bug: #118987
|
2024-03-29 18:21:25 -05:00
|
|
|
#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
|
|
|
|
|
|
|
|
trait Assoc {
|
|
|
|
type Output;
|
|
|
|
}
|
|
|
|
|
|
|
|
default impl<T: Clone> Assoc for T {
|
|
|
|
type Output = bool;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Assoc for u8 {}
|
|
|
|
|
|
|
|
trait Foo {}
|
|
|
|
|
|
|
|
impl Foo for <u8 as Assoc>::Output {}
|
|
|
|
impl Foo for <u16 as Assoc>::Output {}
|