Another clip bites the clip

This commit is contained in:
Richard Feldman 2022-04-08 19:56:43 -04:00
parent b777b88e1c
commit b2ff785a5e
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798

View file

@ -1987,6 +1987,7 @@ fn constrain_field_update(
(var, field_type, con)
}
#[allow(clippy::too_many_arguments)]
fn constrain_tag(
constraints: &mut Constraints,
env: &Env,
@ -2023,7 +2024,7 @@ fn constrain_tag(
vec![(name.clone(), types)],
TypeExtension::from_type(Type::Variable(ext_var)),
),
expected.clone(),
expected,
Category::TagApply {
tag_name: name.clone(),
args_count: arguments.len(),