tests/ui/uninhabited/uninhabited-pin-field.rs - rust-lang/rust - Git at Google

 use std::pin::Pin;

 enum Void {}

 fn demo(x: Pin<Void>) {
     match x {}
     //~^ ERROR non-exhaustive patterns
 }

 fn main() {}
	use std::pin::Pin;

	enum Void {}

	fn demo(x: Pin<Void>) {
	match x {}
	//~^ ERROR non-exhaustive patterns
	}

	fn main() {}