diff options
Diffstat (limited to '')
-rw-r--r-- | tests/ui/coherence/coherence-with-generator.rs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/tests/ui/coherence/coherence-with-generator.rs b/tests/ui/coherence/coherence-with-generator.rs deleted file mode 100644 index 5eb8dc2a4..000000000 --- a/tests/ui/coherence/coherence-with-generator.rs +++ /dev/null @@ -1,24 +0,0 @@ -// Test that encountering closures during coherence does not cause issues. -#![feature(type_alias_impl_trait, generators)] -#![cfg_attr(specialized, feature(specialization))] -#![allow(incomplete_features)] - -// revisions: stock specialized -// [specialized]check-pass - -type OpaqueGenerator = impl Sized; -fn defining_use() -> OpaqueGenerator { - || { - for i in 0..10 { - yield i; - } - } -} - -struct Wrapper<T>(T); -trait Trait {} -impl Trait for Wrapper<OpaqueGenerator> {} -impl<T: Sync> Trait for Wrapper<T> {} -//[stock]~^ ERROR conflicting implementations of trait `Trait` for type `Wrapper<OpaqueGenerator>` - -fn main() {} |