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?
