Variadic generics would allow passing DSTs by-value, yes? Assuming a hypothetical future Rust, this could justify changing the behind-the-scenes implementation. Would such a change be backwards-compatible, or would the details of argument tupling leak out anywhere?