diff options
| author | Mara Bos <m-ou.se@m-ou.se> | 2020-12-28 19:09:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-28 19:09:31 +0000 |
| commit | a57092890247a6583421f694ba3a37f805eda93d (patch) | |
| tree | f9330d42161567ba73a2df60fb3b0401535ddbe4 | |
| parent | 7800c70fab5801228f2154968a2e2cfdee156403 (diff) | |
| parent | fcc88fab6c1b71a81386046135069203dc553f69 (diff) | |
| download | rust-a57092890247a6583421f694ba3a37f805eda93d.tar.gz rust-a57092890247a6583421f694ba3a37f805eda93d.zip | |
Rollup merge of #80419 - LeSeulArtichaut:80375-test-case, r=lcnr
Add regression test for #80375 This will also make sure that #80375 is handled if #79135 has to be reverted (which won't happen 🤞). Closes #80375. r? `@lcnr`
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-80375.rs | 4 | ||||
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-80375.stderr | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/issues/issue-80375.rs b/src/test/ui/const-generics/issues/issue-80375.rs new file mode 100644 index 00000000000..c906bb2c4d9 --- /dev/null +++ b/src/test/ui/const-generics/issues/issue-80375.rs @@ -0,0 +1,4 @@ +struct MyArray<const COUNT: usize>([u8; COUNT + 1]); +//~^ ERROR generic parameters may not be used in const operations + +fn main() {} diff --git a/src/test/ui/const-generics/issues/issue-80375.stderr b/src/test/ui/const-generics/issues/issue-80375.stderr new file mode 100644 index 00000000000..9765a639a48 --- /dev/null +++ b/src/test/ui/const-generics/issues/issue-80375.stderr @@ -0,0 +1,11 @@ +error: generic parameters may not be used in const operations + --> $DIR/issue-80375.rs:1:41 + | +LL | struct MyArray<const COUNT: usize>([u8; COUNT + 1]); + | ^^^^^ cannot perform const operation using `COUNT` + | + = help: const parameters may only be used as standalone arguments, i.e. `COUNT` + = help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions + +error: aborting due to previous error + |