diff options
Diffstat (limited to '')
| -rw-r--r-- | src/tools/clippy/tests/ui/exit3.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/exit3.rs b/src/tools/clippy/tests/ui/exit3.rs new file mode 100644 index 000000000..9dc0e1015 --- /dev/null +++ b/src/tools/clippy/tests/ui/exit3.rs @@ -0,0 +1,8 @@ +#[warn(clippy::exit)] + +fn main() { + if true { + std::process::exit(2); + }; + std::process::exit(1); +} |