tests/ui/associated-inherent-types/variance-computation-requires-equality.rs

//@ check-pass

#![feature(inherent_associated_types)]
//~^ WARN the feature `inherent_associated_types` is incomplete

struct D<T> {
  a: T
}

impl<T: Default> D<T> {
    type Item = T;

    fn next() -> Self::Item {
        Self::Item::default()
    }
}


fn main() {
}