fix new clippy warnings

This commit is contained in:
Folkert 2020-10-10 19:59:58 +02:00
parent 7963843b9c
commit d346482b76
4 changed files with 17 additions and 21 deletions

View file

@ -2635,7 +2635,7 @@ fn to_opt_branches<'a>(
env.problems.push(MonoProblem::PatternProblem(error))
}
overlapping_branches.sort();
overlapping_branches.sort_unstable();
for i in overlapping_branches.into_iter().rev() {
opt_branches.remove(i);