use std::pin::Pin;
enum Void {}
fn demo(x: Pin<Void>) {
match x {}
//~^ ERROR non-exhaustive patterns
}
fn main() {}