Unified · Split
| @@ -20,7 +20,9 @@ impl<'a> Matcher<'a> { · 19 unmodified lines | |||
| 20 | match (self.lhs, self.rhs) { | 20 | match (self.lhs, self.rhs) { |
| 21 | (Some(lhs), None) => (lhs.matches(item).is_match(), None), | 21 | (Some(lhs), None) => (lhs.matches(item).is_match(), None), |
| 22 | (Some(lhs), Some(rhs)) => lhs.matches(item).into_match_outcome(rhs, item), | 22 | (Some(lhs), Some(rhs)) => lhs.matches(item).into_match_outcome(rhs, item), |
| 23 | _ => todo!(), | 23 | (None, None) | (None, Some(_)) => { |
| 24 | unreachable!("For all we know, the lefthand side is never empty. Push specs might change that.") | ||
| 25 | } | ||
| 24 | } | 26 | } |
| 25 | } | 27 | } |
| 26 | } | 28 | } |