user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Move type_alias_enum_variants tests to a folder; Strip feature gates.

Browse source
This commit is contained in:
Mazdak Farrokhzad 2019-06-09 01:04:58 +02:00
parent e5060da781
commit 05dc864880
19 changed files with 40 additions and 59 deletions
Download patch file Download diff file Expand all files Collapse all files

43
src/test/ui/pattern/enum-variant-generic-args.rs
View file

@ -1,43 +0,0 @@
// run-pass
#![feature(type_alias_enum_variants)]
#![allow(irrefutable_let_patterns)]
#[allow(dead_code)]
enum Enum<T> { TSVariant(T), SVariant { v: T } }
type Alias<T> = Enum<T>;
type AliasFixed = Enum<()>;
macro_rules! is_variant {
(TSVariant, $expr:expr) => (is_variant!(@check TSVariant, (_), $expr));
(SVariant, $expr:expr) => (is_variant!(@check SVariant, { v: _ }, $expr));
(@check $variant:ident, $matcher:tt, $expr:expr) => (
assert!(if let Enum::$variant::<()> $matcher = $expr { true } else { false },
"expr does not have correct type");
);
}
fn main() {
// Tuple struct variant
is_variant!(TSVariant, Enum::TSVariant(()));
is_variant!(TSVariant, Enum::TSVariant::<()>(()));
is_variant!(TSVariant, Enum::<()>::TSVariant(()));
is_variant!(TSVariant, Alias::TSVariant(()));
is_variant!(TSVariant, Alias::<()>::TSVariant(()));
is_variant!(TSVariant, AliasFixed::TSVariant(()));
// Struct variant
is_variant!(SVariant, Enum::SVariant { v: () });
is_variant!(SVariant, Enum::SVariant::<()> { v: () });
is_variant!(SVariant, Enum::<()>::SVariant { v: () });
is_variant!(SVariant, Alias::SVariant { v: () });
is_variant!(SVariant, Alias::<()>::SVariant { v: () });
is_variant!(SVariant, AliasFixed::SVariant { v: () });
}