Stream: t-compiler/wg-nll

Topic: #55344 unused_mut lint "false" positives (ie flow sensitiv.)


pnkfelix (Oct 30 2018 at 13:04, on Zulip):

I'm curious what other people think about this issue

pnkfelix (Oct 30 2018 at 13:04, on Zulip):

to be honest I hadn't considered the potential fallout with people who use #![deny(warnings)] (or #![deny(unused_mut)] in particular)

pnkfelix (Oct 30 2018 at 13:05, on Zulip):

We could change the system to use less precision when searching for mut uses. I mean to the point of even considering let mut x; x = 3; to be a use of that mut.

pnkfelix (Oct 30 2018 at 13:06, on Zulip):

but I'm leaning towards "If one opts into #![deny(warnings)] or #![deny(unused_mut)], one is (implicitly) stating 'I will maintain my code to deal with the compiler's introduction of more precise linting'..."

nikomatsakis (Oct 30 2018 at 14:14, on Zulip):

that was historically been our stance

nikomatsakis (Oct 30 2018 at 14:14, on Zulip):

and it's the reason we introduced -Acap-lints, as well

Last update: Nov 21 2019 at 13:05UTC