Recursion and attribute inference

[Paul Backus]

On Wednesday, 2 November 2022 at 19:17:10 UTC, Dukc wrote:
>
> Which is right here, the implementation or the spec?

I'm inclined to say the implementation is right, since the code 
does not actually violate memory safety.

According to [the latest D Foundation meeting summary][1], Dennis 
Korpel is looking into making `@safe` inference work properly for 
recursive functions, so it's possible that this limitation will 
be lifted entirely in the future.

[1]: 
https://forum.dlang.org/thread/jzqabfjmdwveeatpdklj@forum.dlang.org