Checks that some condition holds when exiting a code block.

• 检查在退出代码块时某些条件是否成立。