I've just published the third and final article in Ate Eskola's series on memory safety in D. Parts 1 and 2 were primarily about DIP1000. In this post, he digs into function attribute inference.
The blog:
https://dlang.org/blog/2023/01/05/memory-safety-in-a-systems-programming-language-part-3/