//@ run-pass
struct S;
fn main() {
match Some(&S) {
Some(&S) => {},
_x => unreachable!()
}
None => unreachable!()