The implementation already did that, now also reflect this in the documentation.
-Wtypedef-redefinition