https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71561
--- Comment #4 from Zhendong Su <su at cs dot ucdavis.edu> --- (In reply to Jason Merrill from comment #3) > Dup. > > *** This bug has been marked as a duplicate of bug 71728 *** But this was reported a couple of weeks earlier; it'd make more sense to mark 71728 as a dup.