diff options
Diffstat (limited to 'src/test/ui/traits/copy-impl-cannot-normalize.rs')
-rw-r--r-- | src/test/ui/traits/copy-impl-cannot-normalize.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/traits/copy-impl-cannot-normalize.rs b/src/test/ui/traits/copy-impl-cannot-normalize.rs deleted file mode 100644 index a78ff046e..000000000 --- a/src/test/ui/traits/copy-impl-cannot-normalize.rs +++ /dev/null @@ -1,25 +0,0 @@ -trait TraitFoo { - type Bar; -} - -struct Foo<T> -where - T: TraitFoo, -{ - inner: T::Bar, -} - -impl<T> Clone for Foo<T> -where - T: TraitFoo, - T::Bar: Clone, -{ - fn clone(&self) -> Self { - Self { inner: self.inner.clone() } - } -} - -impl<T> Copy for Foo<T> {} -//~^ ERROR the trait bound `T: TraitFoo` is not satisfied - -fn main() {} |