Ignore drop on &mut references (#906)
#941
ranjitjhalagh-pages.yml
on: push
Build and Deploy Website
56s
Annotations
3 warnings
|
Build and Deploy Website
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
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`
|