1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//@ check-pass
// issue: 113415
// Makes sure that coherence doesn't call any of the `predicate_may_hold`-esque fns,
// since they are using a different infcx which doesn't preserve the intercrate flag.
#![feature(specialization)]
//~^ WARN the feature `specialization` is incomplete
trait Assoc {
type Output;
}
default impl<T> Assoc for T {
type Output = bool;
}
impl Assoc for u8 {}
trait Foo {}
impl Foo for u32 {}
impl Foo for <u8 as Assoc>::Output {}
fn main() {}
|
