https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80390
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Of course. Your response is not late, I just couldn't CC you and attach the patch at the same time, so mentioned you in a follow-up :-)