https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65840
--- Comment #2 from Doug Evans <dje at google dot com> --- I think it should be more than just a matter of working in practice. A user may get confused by the difference in the type and wonder if time needs to be spent investigating the difference. Tools shouldn't do this to users.