Skip to content

Commit

Permalink
Silence lint in miri test.
Browse files Browse the repository at this point in the history
  • Loading branch information
cjgillot committed Jun 30, 2023
1 parent 43cd0f2 commit 25c5b94
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/tools/miri/tests/pass/enums.rs
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,7 @@ fn more_discriminant_overflow() {
V4,
}

#[allow(unreachable_patterns)]
if let E1::V2 { .. } = (E1::V1 { f: true }) {
unreachable!()
}
Expand Down

0 comments on commit 25c5b94

Please sign in to comment.