-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lintsA-type-systemArea: Type systemArea: Type systemE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.P-lowLow priorityLow priority
Description
Attempting to compile this program:
fn main() {
let tup = (true, true);
io::println(
match tup {
(false, false) => "foo",
(false, true) => "bar",
(true, true) => "baz"
}
);
}
raises the following error:
foo.rs:30:8: 34:9 error: non-exhaustive patterns: false not covered
foo.rs:30 match tup {
foo.rs:31 (false, false) => "foo",
foo.rs:32 (false, true) => "bar",
foo.rs:33 (true, true) => "baz"
foo.rs:34 }
Instead of false not covered
, the error should be (true, false) not covered
.
Metadata
Metadata
Assignees
Labels
A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lintsA-type-systemArea: Type systemArea: Type systemE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.P-lowLow priorityLow priority
Type
Projects
Milestone
Relationships
Development
Select code repository
Activity
nikomatsakis commentedon Mar 24, 2013
Not critical for 0.6; removing milestone
metajack commentedon May 9, 2013
This is still reproducible. Nominating for feature complete.
graydon commentedon May 9, 2013
accepted for production-ready milestone
emberian commentedon Jul 12, 2013
Still reproducible with:
emberian commentedon Aug 29, 2013
Triage bump; still relevant.
pnkfelix commentedon Feb 6, 2014
P-low, not 1.0 blocker.
Provide a witness pattern for non-exhaustive patterns