--- "effect": patch --- Fix TupleWithRest post-rest validation to check each tail index sequentially.