Ok(true)
}
-fn range_covered_by_constructor(tcx: TyCtxt, span: Span,
+fn constructor_covered_by_range(tcx: TyCtxt, span: Span,
ctor: &Constructor,
from: &ConstVal, to: &ConstVal,
end: RangeEnd)
"unexpected const-val {:?} with ctor {:?}", value, constructor)
},
_ => {
- match range_covered_by_constructor(
+ match constructor_covered_by_range(
cx.tcx, pat.span, constructor, value, value, RangeEnd::Included
) {
Ok(true) => Some(vec![]),
}
PatternKind::Range { ref lo, ref hi, ref end } => {
- match range_covered_by_constructor(
+ match constructor_covered_by_range(
cx.tcx, pat.span, constructor, lo, hi, end.clone()
) {
Ok(true) => Some(vec![]),