+ ExprSlice(ref e1, ref e2, ref e3, _) => {
+ let succ = e3.as_ref().map_or(succ, |e| self.propagate_through_expr(&**e, succ));
+ let succ = e2.as_ref().map_or(succ, |e| self.propagate_through_expr(&**e, succ));
+ self.propagate_through_expr(&**e1, succ)
+ }
+