diff options
| author | y21 <30553356+y21@users.noreply.github.com> | 2024-03-09 17:09:17 +0100 |
|---|---|---|
| committer | y21 <30553356+y21@users.noreply.github.com> | 2024-03-09 17:43:04 +0100 |
| commit | ced8bc5b8f105745d199da526ab262d17995d503 (patch) | |
| tree | 2a7a42b7a1beb937b8b8741bec41322d640189f1 /src/tools/miri/genmc-sys/src_cpp | |
| parent | b2f9c4cbc746710950b4e49d04fc372119eec0a0 (diff) | |
| download | rust-ced8bc5b8f105745d199da526ab262d17995d503.tar.gz rust-ced8bc5b8f105745d199da526ab262d17995d503.zip | |
use `span_lint_hir` instead of `span_lint` in more lints
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions