1 // Checking the interaction with this other feature
2 #![feature(associated_type_defaults)]
4 use std::fmt::{Display, Debug};
7 type Assoc where Self: Sized;
8 type Assoc2<T> where T: Display;
10 type WithDefault<'a, T: Debug + 'a>: ?Sized = dyn Iterator<Item=T>;
18 type Assoc2<T> = Vec<T>;
19 //~^ ERROR `T` doesn't implement `std::fmt::Display`
20 type Assoc3<T> = Vec<T> where T: Iterator;
21 //~^ ERROR impl has stricter requirements than trait
22 type WithDefault<'a, T: Debug + 'a> = &'a dyn Iterator<Item=T>;
23 type NoGenerics = ::std::cell::Cell<i32>;