>> On Friday, 18 November 2022 at 15:37:31 UTC, Mike Parker wrote: >>>https://github.com/dlang/DIPs/blob/e2ca557ab9d3e60305a37da0d5b58299e0a9de0e/DIPs/DIP1044.md It looks redundant (“with” and “alias” is enough IMHO).