Re: Pure Factory Functions 💔 `inout`

[ag0aep6g]

On 21.02.23 11:46, Quirin Schroll wrote:
> On Friday, 10 February 2023 at 14:37:35 UTC, ag0aep6g wrote:
[...]
>> That function "has no parameters with mutable indirections". So it's 
>> strongly pure, not weakly pure.
> 
> Uniqueness analysis depends on the return type as much as on parameter 
> types.

I was only commenting on weakly/strongly pure. As you say, the return 
type matters for pure factory functions. But it doesn't matter for 
weakly/strongly pure.

All pure factory functions are strongly pure. Not all strongly pure 
functions are pure factory functions.