On Sunday, 24 May 2020 at 09:47:37 UTC, Walter Bright wrote: > It's a fair point, but without the source code the distinction > is meaningless. It's meaningless in terms of what the compiler can check, but it's not meaningless in terms of documenting the assumptions and promises the developer is making.