D needs a type expression syntax

[Walter Bright]

On 5/4/2023 9:34 PM, Paul Backus wrote:
> On Friday, 5 May 2023 at 02:30:32 UTC, Basile B. wrote:
>> Wouldn't making `ref` a TypeCtor solve the issue more simply ?
> 
> The main problem with making `ref` a TypeCtor is that it would allow 
> semantically-invalid types like `ref(int)[]` and `Tuple!(ref(int), ref(int))` to 
> parse.

Yeah, arrays of references won't work.