This commit is contained in:
Ayaz Hafiz 2022-10-03 13:35:28 -05:00
parent 33d007a17b
commit 16f43f5768
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 3 additions and 2 deletions

View file

@ -3218,6 +3218,7 @@ fn unify_function_or_tag_union_and_func<M: MetaCollector>(
outcome
}
#[allow(clippy::too_many_arguments)]
fn unify_two_function_or_tag_unions<M: MetaCollector>(
env: &mut Env,
pool: &mut Pool,