Apply lint suggestions

This commit is contained in:
Ayaz Hafiz 2022-10-11 16:36:38 -05:00
parent 65f1bd2907
commit 5e35b6458a
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -1,3 +1,5 @@
#![allow(clippy::too_many_arguments)]
use crate::ability::{ use crate::ability::{
resolve_ability_specialization, type_implementing_specialization, AbilityImplError, resolve_ability_specialization, type_implementing_specialization, AbilityImplError,
CheckedDerives, ObligationCache, PendingDerivesTable, Resolved, CheckedDerives, ObligationCache, PendingDerivesTable, Resolved,
@ -2742,11 +2744,11 @@ fn type_to_variable<'a>(
} }
for (Loc { value: var, region }, ability) in bind_to_ability { for (Loc { value: var, region }, ability) in bind_to_ability {
match subs.get_content_unchecked(var) { match *subs.get_content_unchecked(var) {
&Content::RigidVar(a) => { Content::RigidVar(a) => {
subs.set_content(var, Content::RigidAbleVar(a, ability)); subs.set_content(var, Content::RigidAbleVar(a, ability));
} }
&Content::RigidAbleVar(_, ab) if ab == ability => { Content::RigidAbleVar(_, ab) if ab == ability => {
// pass, already bound // pass, already bound
} }
_ => { _ => {