Shared via Rust Playground

playground.rs

fn main() {
    enum Void {}
    
    let res: Result<u32, Void> = Ok(0);
    
    // Err doesn't exist anymore, so Ok is actually irrefutable.
    // `Void` must be covered here
    let Ok(num) = res;
    
}