This commit is contained in:
Ayaz Hafiz 2022-04-12 15:48:26 -04:00
parent ce7c61eb09
commit 64b559073d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 10 additions and 9 deletions

View file

@ -1204,6 +1204,7 @@ fn solve(
/// If a symbol claims to specialize an ability member, check that its solved type in fact
/// does specialize the ability, and record the specialization.
#[allow(clippy::too_many_arguments)]
fn check_ability_specialization(
subs: &mut Subs,
env: &Env,