On 12/31/22 07:34, Walter Bright wrote: > On 12/30/2022 1:07 PM, Timon Gehr wrote: >>> In your description of pattern matching checks in this thread, the >>> check was at runtime. >>> ... >> >> No, the check was at compile time. > > The pattern matching is done at run time. I don't get the relevance of this.