Ignore drop on &mut references
#938
ranjitjhalagh-pages.yml
on: pull_request
Build and Deploy Website
52s
Annotations
2 warnings
|
the following explicit lifetimes could be elided: 'a:
crates/flux-refineck/src/type_env.rs#L889
warning: the following explicit lifetimes could be elided: 'a
--> crates/flux-refineck/src/type_env.rs:889:16
|
889 | pub fn new<'a>(env: &TypeEnv<'a>) -> Self {
| ^^ ^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_lifetimes
= note: `#[warn(clippy::needless_lifetimes)]` on by default
help: elide the lifetimes
|
889 - pub fn new<'a>(env: &TypeEnv<'a>) -> Self {
889 + pub fn new(env: &TypeEnv<'_>) -> Self {
|
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-infer/src/refine_tree.rs#L807
warning: consider adding a `;` to the last statement for consistent formatting
--> crates/flux-infer/src/refine_tree.rs:807:21
|
807 | exprs.push(format!("{e:?}"))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `exprs.push(format!("{e:?}"));`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#semicolon_if_nothing_returned
= note: requested on the command line with `-W clippy::semicolon-if-nothing-returned`
|