src/test/ui/pattern/usefulness/match-privately-empty.rs

   1 #![feature(never_type)]
   2 #![feature(exhaustive_patterns)]
   3
   4 mod private {
   5     pub struct Private {
   6         _bot: !,
   7         pub misc: bool,
   8     }
   9     pub const DATA: Option<Private> = None;
  10 }
  11
  12 fn main() {
  13     match private::DATA {
  14     //~^ ERROR non-exhaustive patterns: `Some(Private { misc: true, .. })` not covered
  15         None => {}
  16         Some(private::Private {
  17             misc: false,
  18             ..
  19         }) => {}
  20     }
  21 }