blob: 1c8316f87fa073ef9bdf16e5503df9942beaaf0d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//~ ERROR overflow evaluating the requirement `T: Trait<_>`
#![feature(specialization, 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 {}
fn main() {}
|