diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2024-07-21 14:37:10 +0200 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2024-07-24 08:02:55 +0200 |
| commit | c4d6a4a7e4d8d006f6d08345e91fb1cdf0fc7e7a (patch) | |
| tree | f928b13162e1584a36ce52042f6df841b5f68b6b /compiler/rustc_pattern_analysis/tests/intersection.rs | |
| parent | bab8ede76130b4ca6e1652dbfe2d5d0fb8174495 (diff) | |
| download | rust-c4d6a4a7e4d8d006f6d08345e91fb1cdf0fc7e7a.tar.gz rust-c4d6a4a7e4d8d006f6d08345e91fb1cdf0fc7e7a.zip | |
Add some tests
Diffstat (limited to 'compiler/rustc_pattern_analysis/tests/intersection.rs')
| -rw-r--r-- | compiler/rustc_pattern_analysis/tests/intersection.rs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/compiler/rustc_pattern_analysis/tests/intersection.rs b/compiler/rustc_pattern_analysis/tests/intersection.rs index 4a96b7248da..8c8cb3c796d 100644 --- a/compiler/rustc_pattern_analysis/tests/intersection.rs +++ b/compiler/rustc_pattern_analysis/tests/intersection.rs @@ -67,4 +67,24 @@ fn test_nested() { ), &[&[], &[]], ); + let ty = Ty::Tuple(&[Ty::Bool; 3]); + assert_intersects( + pats!(ty; + (true, true, _), + (true, _, true), + (false, _, _), + ), + &[&[], &[], &[]], + ); + let ty = Ty::Tuple(&[Ty::Bool, Ty::Bool, Ty::U8]); + assert_intersects( + pats!(ty; + (true, _, _), + (_, true, 0..10), + (_, true, 10..), + (_, true, 3), + _, + ), + &[&[], &[], &[], &[1], &[0, 1, 2, 3]], + ); } |