src/test/ui/uninhabited/exhaustive-wo-nevertype-issue-51221.rs

// check-pass

#![feature(exhaustive_patterns)]

enum Void {}
fn main() {
    let a: Option<Void> = None;
    let None = a;
}