1 // Test that encountering closures during coherence does not cause issues.
2 #![feature(type_alias_impl_trait)]
3 type OpaqueClosure = impl Sized;
4 fn defining_use() -> OpaqueClosure {
10 impl Trait for Wrapper<OpaqueClosure> {}
11 impl<T: Sync> Trait for Wrapper<T> {}
12 //~^ ERROR conflicting implementations of trait `Trait` for type `Wrapper<OpaqueClosure>`