1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
//@ known-bug: #126268 #![feature(min_specialization)] trait Trait {} impl<T> Trait for T {} trait Data { type Elem; } struct DatasetIter<'a, R: Data> { data: &'a R::Elem, } pub struct ArrayBase {} impl<'a> Trait for DatasetIter<'a, ArrayBase> {}