Rollup merge of #68383 - GuillaumeGomez:clean-up-e0205, r=Dylan-DPC

Clean up E0205 explanation

r? @Dylan-DPC
This commit is contained in:
Yuki Okushi 2020-01-28 10:48:05 +09:00 committed by GitHub
commit 2bfa058074
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 5 deletions

View File

@ -1,12 +1,18 @@
You can only implement `Copy` for a struct or enum. Both of the following
examples will fail, because neither `[u8; 256]` nor `&'static mut Bar`
(mutable reference to `Bar`) is a struct or enum:
The `Copy` trait was implemented on a type which is neither a struct nor an
enum.
Erroneous code example:
```compile_fail,E0206
type Foo = [u8; 256];
impl Copy for Foo { } // error
impl Copy for Foo { } // error!
#[derive(Copy, Clone)]
struct Bar;
impl Copy for &'static mut Bar { } // error
impl Copy for &'static mut Bar { } // error!
```
You can only implement `Copy` for a struct or an enum. Both of the previous
examples will fail, because neither `[u8; 256]` nor `&'static mut Bar`
(mutable reference to `Bar`) is a struct or enum.