Hristo Filaretov b8e2bdd6b1
Allow different names for ...rest (#3954)
* Allow different names for ...rest

* Resolves #3945

* This change requires an explicit name for the rest argument in `WholeStreamCommand`,
  which is why there are so many changed files.

* Remove redundant clone

* Add tests
2021-08-27 05:58:53 +12:00
..
2021-08-05 17:18:53 -05:00
2021-07-25 22:01:54 +12:00
2021-06-23 19:21:39 +12:00
2020-01-16 05:28:31 +13:00
2021-06-23 19:21:39 +12:00
2021-08-07 09:49:37 +12:00
2021-07-25 22:01:54 +12:00
2021-07-25 22:01:54 +12:00