fn main() {
    None = Some(3);
    //~^ ERROR refutable pattern in local binding
}