[exec.snd.expos] Fix markup of exposition-only identifiers in `basic-state` constructor#7304

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

lewissbaker:patch-6lewissbaker/draft:patch-6Copy head branch name to clipboard