diff options
Diffstat (limited to 'compiler/rustc_error_codes/src/error_codes/E0741.md')
-rw-r--r-- | compiler/rustc_error_codes/src/error_codes/E0741.md | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/compiler/rustc_error_codes/src/error_codes/E0741.md b/compiler/rustc_error_codes/src/error_codes/E0741.md new file mode 100644 index 000000000..70d963cd4 --- /dev/null +++ b/compiler/rustc_error_codes/src/error_codes/E0741.md @@ -0,0 +1,25 @@ +A non-structural-match type was used as the type of a const generic parameter. + +Erroneous code example: + +```compile_fail,E0741 +#![feature(adt_const_params)] + +struct A; + +struct B<const X: A>; // error! +``` + +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(adt_const_params)] + +#[derive(PartialEq, Eq)] // We derive both traits here. +struct A; + +struct B<const X: A>; // ok! +``` |