This commit is contained in:
Ayaz Hafiz 2022-05-15 22:29:06 -04:00
parent 289de629c2
commit 6df1f4df3c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 1 additions and 4 deletions

View file

@ -2360,6 +2360,7 @@ pub(crate) fn constrain_def_make_constraint(
)
}
#[allow(clippy::too_many_arguments)]
fn constrain_value_def_make_constraint(
constraints: &mut Constraints,
new_rigid_variables: Vec<Variable>,