[rustc.git] / src / test / ui / pattern / usefulness / issue-78123-non-exhaustive-reference.rs

enum A {}
    //~^ NOTE `A` defined here
    //~| NOTE

fn f(a: &A) {
    match a {}
    //~^ ERROR non-exhaustive patterns: type `&A` is non-empty
    //~| NOTE the matched value is of type `&A`
    //~| NOTE references are always considered inhabited
}

fn main() {}
Commit	Line	Data
5869c6ff XL	1	enum A {}
5869c6ff XL	2	//~^ NOTE `A` defined here
5e7ed085	3	//~\| NOTE
5869c6ff XL	4
	5	fn f(a: &A) {
	6	match a {}
	7	//~^ ERROR non-exhaustive patterns: type `&A` is non-empty
	8	//~\| NOTE the matched value is of type `&A`
	9	//~\| NOTE references are always considered inhabited
	10	}
	11
	12	fn main() {}