diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-01 14:10:33 +0900 |
|---|---|---|
| committer | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-01 14:10:33 +0900 |
| commit | 50ffd6b7cbdf6baedbd3a22f4ea79ebdf7c48af9 (patch) | |
| tree | 968c1e1786816f6bd786817820010814d7f65d70 /src/test | |
| parent | 8631e1c57504624824add1b059d12cdc86cdd87c (diff) | |
| download | rust-50ffd6b7cbdf6baedbd3a22f4ea79ebdf7c48af9.tar.gz rust-50ffd6b7cbdf6baedbd3a22f4ea79ebdf7c48af9.zip | |
Add a regression test for issue-72565
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/pattern/issue-72565.rs | 8 | ||||
| -rw-r--r-- | src/test/ui/pattern/issue-72565.stderr | 8 |
2 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/pattern/issue-72565.rs b/src/test/ui/pattern/issue-72565.rs new file mode 100644 index 00000000000..1e262fd5067 --- /dev/null +++ b/src/test/ui/pattern/issue-72565.rs @@ -0,0 +1,8 @@ +const F: &'static dyn PartialEq<u32> = &7u32; + +fn main() { + let a: &dyn PartialEq<u32> = &7u32; + match a { + F => panic!(), //~ ERROR: `&dyn PartialEq<u32>` cannot be used in patterns + } +} diff --git a/src/test/ui/pattern/issue-72565.stderr b/src/test/ui/pattern/issue-72565.stderr new file mode 100644 index 00000000000..2f82616b277 --- /dev/null +++ b/src/test/ui/pattern/issue-72565.stderr @@ -0,0 +1,8 @@ +error: `&dyn PartialEq<u32>` cannot be used in patterns + --> $DIR/issue-72565.rs:6:9 + | +LL | F => panic!(), + | ^ + +error: aborting due to previous error + |