This RFE was extracted from bug 2094 (see comment #6).
> > we expect to get invariant data from invariant object.
>
> Then define an invariant function.
This RFE is aimed at eliminating code duplication.
> Const is the equalizer, and it's perfectly
> acceptable to get invariant data as const.
Not quite perfectly.
> It doesn't mean that if the data is invariant, the
> function magically returns invariant.
But we still want some magic.
Comment #1 by schveiguy — 2008-10-08T12:31:49Z
My proposal: bug 1961
Comment #2 by yebblies — 2011-06-10T10:23:11Z
Closing, as a different proposal has been accepted and (partially) implemented. (issue 1961)