Attribute transference from callbacks?

[Araq]

On Monday, 9 December 2024 at 06:47:26 UTC, Manu wrote:
>
> Right. Do you have examples of this from other languages and 
> how it's expressed? Lifetime's in Rust are the obvious 
> benchmark, but I don't see any evidence that D has a taste for 
> this sort of thing.


Nim uses an `effectsOf` annotation, see 
https://nim-lang.org/docs/manual.html#effect-system-effectsof-annotation

That said, IME effect systems are not worth it and the complexity 
budget is better spent elsewhere.