This commit is contained in:
Ayaz Hafiz 2022-07-12 15:44:41 -04:00
parent 76f7843c93
commit fe63140047
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 4 additions and 1 deletions

View file

@ -164,6 +164,7 @@ impl Phase for LatePhase<'_> {
/// Unifies two variables and performs lambda set compaction.
/// Ranks and other ability demands are disregarded.
#[allow(clippy::too_many_arguments)]
pub fn unify(
home: ModuleId,
arena: &Bump,