[func.wrap.func.con] Fix ill-formed postcondition#7341

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

eisenwave:patch-35eisenwave/draft:patch-35Copy head branch name to clipboard