Skip to content

Commit

Permalink
fix: clippy warning regarding .get(0)
Browse files Browse the repository at this point in the history
  • Loading branch information
raimundo-henriques committed Jan 10, 2024
1 parent b5a4a74 commit a89aa0f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1083,7 +1083,7 @@ impl UntypedExpr {
}

let ret_ty = {
let (_, ret_expr) = &typed_clauses.get(0).unwrap();
let (_, ret_expr) = typed_clauses.first().unwrap();

for (_, expr) in typed_clauses.iter() {
if ret_expr.ty != expr.ty {
Expand Down

0 comments on commit a89aa0f

Please sign in to comment.