Special-case (RangeEnd::Included, Ordering::Equal) in lower_pattern_unadjusted

varkor · varkor · commit c388c11a6021 · 2018-08-16T20:09:05.000+01:00
diff --git a/src/librustc_mir/hair/pattern/mod.rs b/src/librustc_mir/hair/pattern/mod.rs
@@ -391,7 +391,12 @@ impl<'a, 'tcx> PatternContext<'a, 'tcx> {
                                 err.emit();
                                 PatternKind::Wild
                             },
-                            (RangeEnd::Included, Some(_)) => PatternKind::Range { lo, hi, end },
+                            (RangeEnd::Included, Some(Ordering::Equal)) => {
+                                PatternKind::Constant { value: lo }
+                            }
+                            (RangeEnd::Included, Some(Ordering::Less)) => {
+                                PatternKind::Range { lo, hi, end }
+                            }
                         }
                     }
                     _ => PatternKind::Wild

Original file line number	Diff line number	Diff line change
`@@ -391,7 +391,12 @@ impl<'a, 'tcx> PatternContext<'a, 'tcx> {`
`391`	`391`	`err.emit();`
`392`	`392`	`PatternKind::Wild`
`393`	`393`	`},`
`394`		`- (RangeEnd::Included, Some(_)) => PatternKind::Range { lo, hi, end },`
	`394`	`+ (RangeEnd::Included, Some(Ordering::Equal)) => {`
	`395`	`+ PatternKind::Constant { value: lo }`
	`396`	`+ }`
	`397`	`+ (RangeEnd::Included, Some(Ordering::Less)) => {`
	`398`	`+ PatternKind::Range { lo, hi, end }`
	`399`	`+ }`
`395`	`400`	`}`
`396`	`401`	`}`
`397`	`402`	`_ => PatternKind::Wild`