4 #![feature(never_type)]
5 #![feature(exhaustive_patterns)]
7 // Regression test for inhabitedness check. The old
8 // cache used to cause us to incorrectly decide
9 // that `test_b` was invalid.
13 field2: Option<&'static Bar>,
21 let x: Option<Foo> = None;
22 match x { None => () }
26 let x: Option<Bar> = None;