https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127196
--- Comment #4 from Waffl3x <waffl3x at gcc dot gnu.org> --- After working on this for a while, I'm not so sure that the necessary changes will be acceptable. I somewhat want to wait on the final resolution of CWG1001, CWG1322, and CWG1668. Of course as soon as I write this I feel like working on it again. I still won't be surprised if the necessary changes are shot down as too invasive or complicated. We have to effectively remember the dependent parameter declarations (that are used in a postcondition) of every function declaration, and substitute into all of them to see if they are const. Combined with how declarations are already handled, it becomes quite a task.
