On Friday, 19 July 2019 at 01:32:34 UTC, Walter Bright wrote: > In fact, the DIP is not necessary if people strictly adhere to > RAII. Bingo. This is why RAII needs to be mentioned, otherwise this DIP is not necessary.