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