src/test/compile-fail/empty-struct-tuple-pat.rs

   1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Can't use unit struct as enum pattern
  12
  13 // aux-build:empty-struct.rs
  14
  15 #![feature(relaxed_adts)]
  16
  17 extern crate empty_struct;
  18 use empty_struct::*;
  19
  20 struct Empty2();
  21
  22 enum E {
  23     Empty4()
  24 }
  25
  26 // remove attribute after warning cycle and promoting warnings to errors
  27 fn main() {
  28     let e2 = Empty2();
  29     let e4 = E::Empty4();
  30     let xe6 = XEmpty6();
  31     let xe5 = XE::XEmpty5();
  32
  33     match e2 {
  34         Empty2 => () //~ ERROR match bindings cannot shadow tuple structs
  35     }
  36     match xe6 {
  37         XEmpty6 => () //~ ERROR match bindings cannot shadow tuple structs
  38     }
  39
  40     match e4 {
  41         E::Empty4 => ()
  42         //~^ ERROR expected unit struct/variant or constant, found tuple variant `E::Empty4`
  43     }
  44     match xe5 {
  45         XE::XEmpty5 => (),
  46         //~^ ERROR expected unit struct/variant or constant, found tuple variant `XE::XEmpty5`
  47         _ => {},
  48     }
  49 }