Recursion and attribute inference

[Paul Backus]

On Thursday, 3 November 2022 at 01:20:11 UTC, zjh wrote:
> 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.

I believe it's being considered as an option, but there are no 
concrete plans yet. Personally, I think it's a good idea.