diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/if_let_mutex.rs')
| -rw-r--r-- | src/tools/clippy/tests/ui/if_let_mutex.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/if_let_mutex.rs b/src/tools/clippy/tests/ui/if_let_mutex.rs index 6cbfafbb3..321feb022 100644 --- a/src/tools/clippy/tests/ui/if_let_mutex.rs +++ b/src/tools/clippy/tests/ui/if_let_mutex.rs @@ -39,4 +39,12 @@ fn if_let_different_mutex() { }; } +fn mutex_ref(mutex: &Mutex<i32>) { + if let Ok(i) = mutex.lock() { + do_stuff(i); + } else { + let _x = mutex.lock(); + }; +} + fn main() {} |