rust/src/test/compile-fail/issue-1193.rs

// error-pattern: Sorry, rebinding or matching against symbolic
mod foo {
    type t = u8;

    const a : t = 0u8;
    const b : t = 1u8;

    fn bar(v: t) -> bool {
        alt v {
            a { ret true; }
            b { ret false; }
        }
    }
}