Fix clippy warning

This commit is contained in:
ayazhafiz 2021-12-20 19:28:43 -06:00
parent 8dda9929e5
commit 95ad906c59

View file

@ -163,13 +163,13 @@ fn validate_help(constraint: &Constraint, declared: &Declared, accum: &mut Varia
}
Constraint::Present(typ, constr) => {
subtract(declared, &typ.variables_detail(), accum);
match &constr {
&PresenceConstraint::IncludesTag(_, tys) => {
match constr {
PresenceConstraint::IncludesTag(_, tys) => {
for ty in tys {
subtract(declared, &ty.variables_detail(), accum);
}
}
&PresenceConstraint::IsOpen => {}
PresenceConstraint::IsOpen => {}
}
}
}