// Check that we don't ICE for irrefutable or-patterns in function parameters
//@ check-pass
fn foo((Some(_) | None): Option<u32>) {}
fn main() {
foo(None);
}