This commit is contained in:
Ayaz Hafiz 2022-07-19 08:14:12 -04:00
parent 92b5b0ef42
commit 666becad87
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 17 additions and 21 deletions

View file

@ -175,6 +175,7 @@ pub enum DestructType {
Guard(Variable, Loc<Pattern>),
}
#[allow(clippy::too_many_arguments)]
pub fn canonicalize_def_header_pattern<'a>(
env: &mut Env<'a>,
var_store: &mut VarStore,