leetcode是怎么做断言的