[basic.def] Fix note -- declarations cannot be empty#8405

AlisdairM wants to merge 1 commit into

cplusplus:maincplusplus/draft:mainfrom

AlisdairM:noted_declarations_cannot_be_emptyAlisdairM/draft:noted_declarations_cannot_be_emptyCopy head branch name to clipboard