[rustc.git] / src / librustc_error_codes / error_codes / E0001.md

#### Note: this error code is no longer emitted by the compiler.

This error suggests that the expression arm corresponding to the noted pattern
will never be reached as for all possible values of the expression being
matched, one of the preceding patterns will match.

This means that perhaps some of the preceding patterns are too general, this
one is too specific or the ordering is incorrect.

For example, the following `match` block has too many arms:

```
match Some(0) {
    Some(bar) => {/* ... */}
    x => {/* ... */} // This handles the `None` case
    _ => {/* ... */} // All possible cases have already been handled
}
```

`match` blocks have their patterns matched in order, so, for example, putting
a wildcard arm above a more specific arm will make the latter arm irrelevant.

Ensure the ordering of the match arm is correct and remove any superfluous
arms.
Commit	Line	Data
60c5eb7d XL	1	#### Note: this error code is no longer emitted by the compiler.
	2
	3	This error suggests that the expression arm corresponding to the noted pattern
	4	will never be reached as for all possible values of the expression being
	5	matched, one of the preceding patterns will match.
	6
	7	This means that perhaps some of the preceding patterns are too general, this
	8	one is too specific or the ordering is incorrect.
	9
	10	For example, the following `match` block has too many arms:
	11
	12	```
	13	match Some(0) {
	14	Some(bar) => {/* ... */}
	15	x => {/* ... */} // This handles the `None` case
	16	_ => {/* ... */} // All possible cases have already been handled
	17	}
	18	```
	19
	20	`match` blocks have their patterns matched in order, so, for example, putting
	21	a wildcard arm above a more specific arm will make the latter arm irrelevant.
	22
	23	Ensure the ordering of the match arm is correct and remove any superfluous
	24	arms.