Avoid emitting assigning_clones when cloned data borrows from the place to clone into
#12756
Conversation
|
r? @Alexendoo rustbot has assigned @Alexendoo. Use |
rustbot
added
the
S-waiting-on-review
y21
force-pushed
the
assigning_clones_lifetimes
branch
from
a413cd1
to
0a93106
Compare
| let mut s = (NoDrop, NoDrop); | ||
| let s2 = &s.1; | ||
| s.0 = s2.clone(); |
There was a problem hiding this comment.
This is a false negative now but fixing it seems like it'd require large changes to PossibleBorrowerMap to teach it disjoint borrows, but I suppose this FN might be better than a FP
There was a problem hiding this comment.
In a sense, a performance lint is about reducing time wasted by the computer, but as human time is more expensive, it's surely more costly to waste human time if no computing performance is likely to be gained in the process.
|
☔ The latest upstream changes (presumably #12783) made this pull request unmergeable. Please resolve the merge conflicts. |
y21
force-pushed
the
assigning_clones_lifetimes
branch
from
0a93106
to
60508f5
Compare
Fixes #12444
Fixes #12460
Fixes #12749
Fixes #12757
I think the documentation for the function should describe what- and how this is fixing the issues well.
It avoids emitting a warning when the data being cloned borrows from the place to clone into, which is information that we can get from
PossibleBorrowerMap. Unfortunately, it is a tiny bit tedious to match on the MIR like that and I'm not sure if this is possibly relying a bit too much on the exact MIR lowering for assignments.Things left to do:
Droptypeschangelog: [
assigning_clones]: avoid warning when the suggestion would lead to a borrow-check error