https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93739
--- Comment #4 from Eyal Rozenberg <eyalroz at technion dot ac.il> --- (In reply to Eyal Rozenberg from comment #3) A couple more points: * The error I get (https://godbolt.org/z/5GpR2T) doesn't have the "your type here" string. * This forces you to define a variable you're not using. So, you need to also say [[unused]] in some cases - more clutter.