Skip to content

Commit

Permalink
Fix clippy.
Browse files Browse the repository at this point in the history
  • Loading branch information
daemontus committed Jan 9, 2024
1 parent e8d91ff commit 4f5a476
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/_impl_fn_update.rs
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,7 @@ impl FnUpdate {

/// Build an expression which is equivalent to the conjunction of the given expressions.
pub fn mk_conjunction(items: &[FnUpdate]) -> FnUpdate {
let Some(first) = items.get(0) else {
let Some(first) = items.first() else {
// Empty conjunction is `true`.
return Self::mk_true();
};
Expand All @@ -132,7 +132,7 @@ impl FnUpdate {

/// Build an expression which is equivalent to the disjunction of the given expressions.
pub fn mk_disjunction(items: &[FnUpdate]) -> FnUpdate {
let Some(first) = items.get(0) else {
let Some(first) = items.first() else {
// Empty disjunction is `false`.
return Self::mk_false();
};
Expand Down

0 comments on commit 4f5a476

Please sign in to comment.