[basic.def.odr] Remove duplicate "a"#8615

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-903445Andreas-Krug/draft:patch-903445Copy head branch name to clipboard