exhaustive-wo-nevertype-issue-51221.rs « uninhabited « ui « test « src - rustc - debian 12 backports: mozilla

summary refs log tree commit diff stats

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

blob: b59432078350ef94ca277a4ae7ece407557fa8bf (plain)

// check-pass

#![feature(exhaustive_patterns)]

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