blob: 2e5101b822c0c04d48f593a7554d8b065e60c6b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#![feature(marker_trait_attr)]
#[marker]
trait A {}
trait B {}
impl<T: A> B for T {}
impl<T: B> A for T {}
impl A for &str {}
impl<T: A + B> A for (T,) {}
trait TraitWithAssoc {
type Assoc;
}
impl<T: A> TraitWithAssoc for T {
type Assoc = T;
}
impl TraitWithAssoc for ((&str,),) {
//~^ ERROR conflicting implementations
type Assoc = ((&'static str,),);
}
fn main() {}
|