tests/ui/rfcs/rfc-0000-never_patterns/check_place_is_initialized.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![feature(never_patterns)]
#![allow(incomplete_features)]

enum Void {}

fn main() {}

fn anything<T>() -> T {
    let x: Void;
    match x { ! }
    //~^ ERROR used binding `x` isn't initialized
}