Address clippy lints

This commit is contained in:
Ayaz Hafiz 2022-10-12 16:36:34 -05:00
parent 152400dea3
commit c0257302a9
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 6 additions and 6 deletions

View file

@ -772,10 +772,7 @@ fn can_annotation_help(
} else {
Type::Alias {
symbol,
type_arguments: vars
.into_iter()
.map(|typ| OptAbleType::unbound(typ))
.collect(),
type_arguments: vars.into_iter().map(OptAbleType::unbound).collect(),
lambda_set_variables: alias.lambda_set_variables.clone(),
actual: Box::new(alias.typ.clone()),
kind: alias.kind,