https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117485
--- Comment #2 from Saada Mehdi <00120260a at gmail dot com> --- mm, ok, we're wrong, I remember we didn't find it, weird. In that case I'll take it up with ARG, because it doesn't make sense to stop public types from using this.