diff options
Diffstat (limited to 'src/test/ui/associated-consts/associated-const-match-patterns.rs')
| -rw-r--r-- | src/test/ui/associated-consts/associated-const-match-patterns.rs | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/src/test/ui/associated-consts/associated-const-match-patterns.rs b/src/test/ui/associated-consts/associated-const-match-patterns.rs deleted file mode 100644 index 62c1cb983d1..00000000000 --- a/src/test/ui/associated-consts/associated-const-match-patterns.rs +++ /dev/null @@ -1,68 +0,0 @@ -// run-pass -// aux-build:empty-struct.rs - - -extern crate empty_struct; -use empty_struct::XEmpty2 as XFoo; - -struct Foo; - -#[derive(PartialEq, Eq)] -enum Bar { - Var1, - Var2, -} - -// Use inherent and trait impls to test UFCS syntax. -impl Foo { - const MYBAR: Bar = Bar::Var2; -} - -trait HasBar { - const THEBAR: Bar; -} - -impl HasBar for Foo { - const THEBAR: Bar = Bar::Var1; -} - -impl HasBar for XFoo { - const THEBAR: Bar = Bar::Var1; -} - -fn main() { - // Inherent impl - assert!(match Bar::Var2 { - Foo::MYBAR => true, - _ => false, - }); - assert!(match Bar::Var2 { - <Foo>::MYBAR => true, - _ => false, - }); - // Trait impl - assert!(match Bar::Var1 { - Foo::THEBAR => true, - _ => false, - }); - assert!(match Bar::Var1 { - <Foo>::THEBAR => true, - _ => false, - }); - assert!(match Bar::Var1 { - <Foo as HasBar>::THEBAR => true, - _ => false, - }); - assert!(match Bar::Var1 { - XFoo::THEBAR => true, - _ => false, - }); - assert!(match Bar::Var1 { - <XFoo>::THEBAR => true, - _ => false, - }); - assert!(match Bar::Var1 { - <XFoo as HasBar>::THEBAR => true, - _ => false, - }); -} |
