[dcl.fct.default] Add \tcode for a#8060

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

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