issue-43871-enum-instead-of-variant.rs

enum Example { Ex(String), NotEx }

enum Void {}

enum ManyVariants {
    One,
    Two,
    Three,
    Four,
    Five,
    Six,
    Seven,
    Eight,
    Nine,
    Ten,
}

fn result_test() {
    let x = Option(1); //~ ERROR expected function, tuple struct or tuple variant, found enum

    if let Option(_) = x { //~ ERROR expected tuple struct or tuple variant, found enum
        println!("It is OK.");
    }

    let y = Example::Ex(String::from("test"));

    if let Example(_) = y { //~ ERROR expected tuple struct or tuple variant, found enum
        println!("It is OK.");
    }

    let y = Void(); //~ ERROR expected function, tuple struct or tuple variant, found enum

    let z = ManyVariants(); //~ ERROR expected function, tuple struct or tuple variant, found enum
}

fn main() {}

// ferrocene-annotations: fls_exe4zodlwfez
// Type Unification