diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-03-02 05:10:56 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-03-02 05:10:56 +0000 |
| commit | 2cf69dae73533ebee5a310fd6f3dc4b9a8db246b (patch) | |
| tree | 6d7b4677b28a2ec8d34e61af63f9d2196428ef55 /src/tools/clippy/tests/ui/missing_inline_executable.rs | |
| parent | 33b78f2be1b71b282c952775e98265d177406701 (diff) | |
| parent | fe6cf341479c91ef90d8c809aea70193ed42036a (diff) | |
Merge from rustc
Diffstat (limited to 'src/tools/clippy/tests/ui/missing_inline_executable.rs')
| -rw-r--r-- | src/tools/clippy/tests/ui/missing_inline_executable.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/missing_inline_executable.rs b/src/tools/clippy/tests/ui/missing_inline_executable.rs index 6e0400ac935..444a7f1c964 100644 --- a/src/tools/clippy/tests/ui/missing_inline_executable.rs +++ b/src/tools/clippy/tests/ui/missing_inline_executable.rs @@ -1,3 +1,5 @@ +//@ check-pass + #![warn(clippy::missing_inline_in_public_items)] pub fn foo() {} |