On Tuesday, 25 February 2014 at 23:12:37 UTC, Nordlöw wrote:
I think the problem here is there's too many functions that
would need to be marked it to be useful and it isn't a big
enough deal for most libs to bother.
Couldn't the compiler recursively infer this property for
functions it has the complete (to the bottom) source for?
Complete attribute inference was discussed ~year ago but is not
on agenda right now. I don't think introduction of new attributes
is feasible in practice until inference is implemented for
existing ones.
