extensible 0.0.1

A plugin to prevent exhaustive matches from being used on enums marked as 'extensible'
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#![feature(plugin, custom_attribute)]
#![plugin(extensible)]

#![allow(dead_code, unused_attributes)]
#[extensible]
enum Foo {
    Bar,
    Baz(u8),
    Quux
}
pub use Foo::*;

fn main() {
    let x = Bar;
    let mut out = match x { //~ ERROR The enum Foo is marked as extensible
        Bar => 1u8,
        Baz(y) => y,
        Quux => 0u8, 
    };
    println!("{}", out);

    // This is fine
    out = match x {
        Bar => 1u8,
        Baz(y) => y,
        _ => 0u8, 
    };
    println!("{}", out);
}