diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-08-01 09:30:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-01 09:30:11 -0700 |
| commit | 60bf83d21531c09c7005adff681e32e186d40f4b (patch) | |
| tree | 0d0ce09477eaf176e3ee616b5d34e416010a2c28 /src/librustc_error_codes/error_codes | |
| parent | cfdf9d335501cc0a53ae69c940095cca7d4be0f8 (diff) | |
| parent | 1a6730e31ced3a7264c80c0bbdd9f42c54f1534b (diff) | |
| download | rust-60bf83d21531c09c7005adff681e32e186d40f4b.tar.gz rust-60bf83d21531c09c7005adff681e32e186d40f4b.zip | |
Rollup merge of #74977 - GuillaumeGomez:cleanup-e0741, r=pickfire
Clean up E0741 error explanation r? @Dylan-DPC
Diffstat (limited to 'src/librustc_error_codes/error_codes')
| -rw-r--r-- | src/librustc_error_codes/error_codes/E0741.md | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/librustc_error_codes/error_codes/E0741.md b/src/librustc_error_codes/error_codes/E0741.md index 0a8650282a3..91379bfe05c 100644 --- a/src/librustc_error_codes/error_codes/E0741.md +++ b/src/librustc_error_codes/error_codes/E0741.md @@ -1,5 +1,6 @@ -Only structural-match types (that is, types that derive `PartialEq` and `Eq`) -may be used as the types of const generic parameters. +A non-structural-match type was used as the type of a const generic parameter. + +Erroneous code example: ```compile_fail,E0741 #![feature(const_generics)] @@ -9,12 +10,15 @@ struct A; struct B<const X: A>; // error! ``` -To fix this example, we derive `PartialEq` and `Eq`. +Only structural-match types (that is, types that derive `PartialEq` and `Eq`) +may be used as the types of const generic parameters. + +To fix the previous code example, we derive `PartialEq` and `Eq`: ``` #![feature(const_generics)] -#[derive(PartialEq, Eq)] +#[derive(PartialEq, Eq)] // We derive both traits here. struct A; struct B<const X: A>; // ok! |