[basic.def] Mark definition of "redeclaration" as such#8596

lprv wants to merge 1 commit intocplusplus:maincplusplus/draft:mainfrom

lprv:r44lprv/draft:r44Copy head branch name to clipboard