Add check to ensure generics for sorts are correct #771

Sign in to view logs

GitHub Actions / clippy succeeded Nov 5, 2024 in 0s

clippy

10 warnings

Details

Results

Message level	Amount
Internal compiler error	0
Error	0
Warning	10
Note	0
Help	0

Versions

rustc 1.82.0-nightly (636d7ff91 2024-08-19)
cargo 1.82.0-nightly (ba8b39413 2024-08-16)
clippy 0.1.82 (636d7ff 2024-08-19)

Annotations

Check warning on line 2049 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:2049:17
     |
2049 |                 return Err(genv.sess().emit_err(err))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 2035 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:2035:17
     |
2035 |                 return Err(genv.sess().emit_err(err))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 2025 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:2025:17
     |
2025 |                 return Err(emit_prim_sort_generics_error(genv, path, "Map", 2))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 2018 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:2018:17
     |
2018 |                 return Err(emit_prim_sort_generics_error(genv, path, "Set", 1))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 2009 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:2009:17
     |
2009 |                 return Err(genv.sess().emit_err(err))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 1999 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:1999:17
     |
1999 |                 return Err(genv.sess().emit_err(err))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 1989 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:1989:17
     |
1989 |                 return Err(genv.sess().emit_err(err))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 1978 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:1978:17
     |
1978 |                 return Err(emit_prim_sort_generics_error(genv, path, "real", 0))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 1972 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:1972:17
     |
1972 |                 return Err(emit_prim_sort_generics_error(genv, path, "bool", 0))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark

Check warning on line 1966 in crates/flux-fhir-analysis/src/conv/mod.rs

github-actions / clippy

unneeded `return` statement with `?` operator

warning: unneeded `return` statement with `?` operator
    --> crates/flux-fhir-analysis/src/conv/mod.rs:1966:17
     |
1966 |                 return Err(emit_prim_sort_generics_error(genv, path, "int", 0))?;
     |                 ^^^^^^^ help: remove it
     |
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark
     = note: `#[warn(clippy::needless_return_with_question_mark)]` on by default

View more details on GitHub Actions