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

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