On Friday, 29 March 2019 at 16:06:09 UTC, Victor Porton wrote: > That `ref T` (where T is a type) is not a type is a serious > design error, No. > It is a very serious problem. No. > Can the language be changed to resolve this problem? There is no reason to do so.