Attribute transference from callbacks?

[Richard (Rikki) Andrew Cattermole]

On 09/12/2024 4:57 AM, Jonathan M Davis wrote:
> Unless, I'm missing something (which is quite possible), you have this
> backwards. The attributes on the delegate have to depend on the attributes
> of the function, not the other way around - though it's certainly true that
> if you have to pass a delegate with exactly the same list of attributes that
> that delegate parameter has, then that's going to cause problems.

I think that you have it backwards here.

The caller is saying, I do not care about these guarantees you offer, I 
don't want it to infect me.

Rather than the callee saying, I don't care what you want, you will take 
these guarantees and you will abide by MY restrictions too.