mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Prefer min_exhaustive_patterns in tests

Browse Source
This commit is contained in:
Nadrieril 2024-02-07 16:34:25 +01:00
parent 9dd6eda778
commit 8e83d0cd75
11 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/ui/pattern/usefulness/impl-trait.rs
View File

@ -1,5 +1,5 @@
#![feature(never_type)] #![feature(never_type)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
#![feature(non_exhaustive_omitted_patterns_lint)] #![feature(non_exhaustive_omitted_patterns_lint)]
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]

2
tests/ui/pattern/usefulness/uninhabited.rs
View File

@ -5,7 +5,7 @@
// `Ty::is_inhabited_from` function. // `Ty::is_inhabited_from` function.
#![feature(never_type)] #![feature(never_type)]
#![feature(never_type_fallback)] #![feature(never_type_fallback)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
macro_rules! assert_empty { macro_rules! assert_empty {

2
tests/ui/reachable/unreachable-loop-patterns.rs
View File

@ -1,5 +1,5 @@
#![feature(never_type, never_type_fallback)] #![feature(never_type, never_type_fallback)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![allow(unreachable_code)] #![allow(unreachable_code)]
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]

2
tests/ui/rfcs/rfc-2008-non-exhaustive/uninhabited/indirect_match_with_exhaustive_patterns.rs
View File

@ -1,6 +1,6 @@
// aux-build:uninhabited.rs // aux-build:uninhabited.rs
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![feature(never_type)] #![feature(never_type)]
extern crate uninhabited; extern crate uninhabited;

2
tests/ui/rfcs/rfc-2008-non-exhaustive/uninhabited/indirect_match_with_exhaustive_patterns_same_crate.rs
View File

@ -1,7 +1,7 @@
// check-pass // check-pass
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![feature(never_type)] #![feature(never_type)]
#[non_exhaustive] #[non_exhaustive]

2
tests/ui/rfcs/rfc-2008-non-exhaustive/uninhabited/match_with_exhaustive_patterns.rs
View File

@ -1,6 +1,6 @@
// aux-build:uninhabited.rs // aux-build:uninhabited.rs
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![feature(never_type)] #![feature(never_type)]
extern crate uninhabited; extern crate uninhabited;

2
tests/ui/rfcs/rfc-2008-non-exhaustive/uninhabited/match_with_exhaustive_patterns_same_crate.rs
View File

@ -1,7 +1,7 @@
// check-pass // check-pass
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![feature(never_type)] #![feature(never_type)]
#[non_exhaustive] #[non_exhaustive]

2
tests/ui/rfcs/rfc-2008-non-exhaustive/uninhabited/patterns.rs
View File

@ -1,7 +1,7 @@
// aux-build:uninhabited.rs // aux-build:uninhabited.rs
// build-pass (FIXME(62277): could be check-pass?) // build-pass (FIXME(62277): could be check-pass?)
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
extern crate uninhabited; extern crate uninhabited;

2
tests/ui/rfcs/rfc-2008-non-exhaustive/uninhabited/patterns_same_crate.rs
View File

@ -1,5 +1,5 @@
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![feature(never_type)] #![feature(never_type)]
#[non_exhaustive] #[non_exhaustive]

2
tests/ui/uninhabited/exhaustive-wo-nevertype-issue-51221.rs
View File

@ -1,6 +1,6 @@
// check-pass // check-pass
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
enum Void {} enum Void {}
fn main() { fn main() {

2
tests/ui/uninhabited/uninhabited-patterns.rs
View File

@ -1,6 +1,6 @@
#![feature(box_patterns)] #![feature(box_patterns)]
#![feature(never_type)] #![feature(never_type)]
#![feature(exhaustive_patterns)] #![feature(min_exhaustive_patterns)]
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
mod foo { mod foo {