about summary refs log tree commit diff
path: root/tests/ui/specialization/issue-45814.rs
blob: 233583bd89bff854a243f88105e17ba60e3cad46 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
//@ revisions: current negative
#![feature(specialization)]
#![cfg_attr(negative, feature(with_negative_coherence))]
#![allow(incomplete_features)]

pub trait Trait<T> {}

default impl<T, U> Trait<T> for U {}

impl<T> Trait<<T as Iterator>::Item> for T {}
//~^ ERROR conflicting implementations of trait `Trait<_>`

fn main() {}