diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-05-29 20:21:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-29 20:21:20 +0200 |
| commit | 89cb4d75a104d772e8f40e43eabb0122e71eacb1 (patch) | |
| tree | 41d3e0824460909262ecba5a60e40718a99d61cd /src/test/ui/pattern | |
| parent | c09f0eb3eb7ca092fdaeacab37bf05fea1e241f8 (diff) | |
| parent | 6315d0c99eead181e3725623c6a9d01950620640 (diff) | |
| download | rust-89cb4d75a104d772e8f40e43eabb0122e71eacb1.tar.gz rust-89cb4d75a104d772e8f40e43eabb0122e71eacb1.zip | |
Rollup merge of #72572 - JohnTitor:add-tests, r=matthewjasper
Add some regression tests Closes #68532 Closes #70121 Closes #71042 CC #56445 r? @matthewjasper since they (except for #71042) are related to #72362.
Diffstat (limited to 'src/test/ui/pattern')
| -rw-r--r-- | src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.rs | 9 | ||||
| -rw-r--r-- | src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.stderr | 8 |
2 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.rs b/src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.rs new file mode 100644 index 00000000000..c5e4a72fb9f --- /dev/null +++ b/src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.rs @@ -0,0 +1,9 @@ +#![feature(impl_trait_in_bindings)] +#![allow(incomplete_features)] + +fn main() { + const C: impl Copy = 0; + match C { + C | _ => {} //~ ERROR: opaque types cannot be used in patterns + } +} diff --git a/src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.stderr b/src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.stderr new file mode 100644 index 00000000000..7695223f2cf --- /dev/null +++ b/src/test/ui/pattern/issue-71042-opaquely-typed-constant-used-in-pattern.stderr @@ -0,0 +1,8 @@ +error: opaque types cannot be used in patterns + --> $DIR/issue-71042-opaquely-typed-constant-used-in-pattern.rs:7:9 + | +LL | C | _ => {} + | ^ + +error: aborting due to previous error + |