1 // Based on https://github.com/rust-lang/rust/blob/c5840f9d252c2f5cc16698dbf385a29c5de3ca07/src/test/ui/array-slice-vec/subslice-patterns-const-eval-match.rs
3 // Test that array subslice patterns are correctly handled in const evaluation.
7 #[derive(PartialEq, Debug, Clone)]
10 #[derive(PartialEq, Debug, Clone)]
14 ($
($e
:expr
),* $
(,)?
) => {
19 // This macro has an unused variable so that it can be repeated base on the
20 // number of times a repeated variable (`$e` in `z`) occurs.
26 ($
($e
:expr
),* $
(,)?
) => {
31 // Compare constant evaluation and runtime evaluation of a given expression.
32 macro_rules
! compare_evaluation
{
33 ($e
:expr
, $t
:ty $
(,)?
) => {{
34 const CONST_EVAL
: $t
= $e
;
35 const fn const_eval() -> $t { $e }
36 static CONST_EVAL2
: $t
= const_eval();
37 let runtime_eval
= $e
;
38 assert_eq
!(CONST_EVAL
, runtime_eval
);
39 assert_eq
!(CONST_EVAL2
, runtime_eval
);
43 // Repeat `$test`, substituting the given macro variables with the given
55 // struct X; struct Y;
57 // This is used to repeat the tests using both the `N` and `Z`
60 (($
($dollar
:tt $placeholder
:ident
)*); $
($
($values
:ident
),+);*: $
($test
:tt
)*) => {
62 ($
($dollar $placeholder
:ident
),*) => { $($test)* }
64 $
(single
!($
($values
),+);)*
70 ($arr $Ty
); n
, N
; z
, Z
:
71 compare_evaluation
!({ let [_, x @ .., _] = $arr!(1, 2, 3, 4); x }
, [$Ty
; 2]);
72 compare_evaluation
!({ let [_, ref x @ .., _] = $arr!(1, 2, 3, 4); x }
, &'
static [$Ty
; 2]);
73 compare_evaluation
!({ let [_, x @ .., _] = &$arr!(1, 2, 3, 4); x }
, &'
static [$Ty
; 2]);
75 compare_evaluation
!({ let [_, _, x @ .., _, _] = $arr!(1, 2, 3, 4); x }
, [$Ty
; 0]);
77 { let [_, _, ref x @ .., _, _] = $arr!(1, 2, 3, 4); x }
,
81 { let [_, _, x @ .., _, _] = &$arr!(1, 2, 3, 4); x }
,
85 compare_evaluation
!({ let [_, .., x] = $arr!(1, 2, 3, 4); x }
, $Ty
);
86 compare_evaluation
!({ let [_, .., ref x] = $arr!(1, 2, 3, 4); x }
, &'
static $Ty
);
87 compare_evaluation
!({ let [_, _y @ .., x] = &$arr!(1, 2, 3, 4); x }
, &'
static $Ty
);
90 compare_evaluation
!({ let [_, .., N(x)] = n!(1, 2, 3, 4); x }
, u8);
91 compare_evaluation
!({ let [_, .., N(ref x)] = n!(1, 2, 3, 4); x }
, &'
static u8);
92 compare_evaluation
!({ let [_, .., N(x)] = &n!(1, 2, 3, 4); x }
, &'
static u8);
94 compare_evaluation
!({ let [N(x), .., _] = n!(1, 2, 3, 4); x }
, u8);
95 compare_evaluation
!({ let [N(ref x), .., _] = n!(1, 2, 3, 4); x }
, &'
static u8);
96 compare_evaluation
!({ let [N(x), .., _] = &n!(1, 2, 3, 4); x }
, &'
static u8);