diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-07-27 05:22:40 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-07-27 05:22:40 +0000 |
| commit | 00e89d3cb6c549d195c41557ee467ddc559b3efe (patch) | |
| tree | 1facc011e12f747c51718d5acb5dd4f0f9719ed6 /src/tools/clippy/tests/ui/single_element_loop.fixed | |
| parent | 80a32f86187f897cc075a314cd689c6bd45c4671 (diff) | |
| parent | a526d7ce45fd2284e0e7c7556ccba2425b9d25e5 (diff) | |
| download | rust-00e89d3cb6c549d195c41557ee467ddc559b3efe.tar.gz rust-00e89d3cb6c549d195c41557ee467ddc559b3efe.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/clippy/tests/ui/single_element_loop.fixed')
| -rw-r--r-- | src/tools/clippy/tests/ui/single_element_loop.fixed | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/single_element_loop.fixed b/src/tools/clippy/tests/ui/single_element_loop.fixed index 4e59c763198..64cbd5e9c90 100644 --- a/src/tools/clippy/tests/ui/single_element_loop.fixed +++ b/src/tools/clippy/tests/ui/single_element_loop.fixed @@ -57,4 +57,12 @@ fn main() { } }; } + + // Should lint with correct suggestion (issue #12782) + let res_void: Result<bool, bool> = Ok(true); + + { + let (Ok(mut _x) | Err(mut _x)) = res_void; + let ptr: *const bool = std::ptr::null(); + } } |