1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
//@ revisions: normal exhaustive_patterns
// The precise semantics of inhabitedness with respect to unions and references is currently
// undecided. This test file currently checks a conservative choice.
#![cfg_attr(exhaustive_patterns, feature(exhaustive_patterns))]
#![feature(never_type)]
#![allow(dead_code)]
#![allow(unreachable_code)]
pub union Foo {
foo: !,
}
fn uninhab_ref() -> &'static ! {
unimplemented!()
}
fn uninhab_union() -> Foo {
unimplemented!()
}
fn match_on_uninhab() {
match uninhab_ref() {
//~^ ERROR non-exhaustive patterns: type `&!` is non-empty
}
match uninhab_union() {
//~^ ERROR non-exhaustive patterns: type `Foo` is non-empty
}
}
fn main() {}
|
