'Unsupported constant expr' when matching on tuple-struct constants

[brendanzab]

edited because it no longer ICEs.

pub mod glfw {
    pub struct InputState(uint);

    pub static RELEASE  : InputState = InputState(0);
    pub static PRESS    : InputState = InputState(1);
    pub static REPEAT   : InputState = InputState(2);
}

fn action_to_str(state: glfw::InputState) -> ~str {
    use glfw::{RELEASE, PRESS, REPEAT};
    match state {
        RELEASE => { ~"Released" }
        PRESS   => { ~"Pressed"  }
        REPEAT  => { ~"Repeated" }
        _       => { ~"Unknown"  }
    }
}

fn main() {}

Error:

ice.rs:4:40: 4:53 error: unsupported constant expr
ice.rs:4     pub static RELEASE  : InputState = InputState(0);
                                                ^~~~~~~~~~~~~

[msullivan]

This is now a non-ICE failure. Is this something that we intend to support?

../rust-things/bug-6533.rs:5:39: 5:53 error: Unsupported constant expr
../rust-things/bug-6533.rs:5     pub static PRESS    : InputState = InputState(1);

[alexcrichton]

If the definition were instead InputState { value: uint } then you can create a static, so it seems to be like this should be allowed.

[catamorphism]

Reproduced what @msullivan reported with 2ab4a6f . I agree with @alexcrichton ; doesn't seem like a milestone blocker, though.

[erickt]

visiting for triage. This code no longer ICEs, but it still can't pattern match on the tuple structs. I updated the body to reflect this.