Recursion and attribute inference

[zjh]

On Wednesday, 2 November 2022 at 22:01:24 UTC, Paul Backus wrote:

> Dennis Korpel is looking into making `@safe` inference work 
> properly for recursive functions,


Is there any plan to deduce `functions properties` ?
I think that if we can deduce functions attributes .It will 
greatly reduce the `attribute soup`, make D code more `concise`, 
and greatly increase the `adoption` of D.