Like types, assertions are not expressive enough by themselves to capture all of the rules we may want to specify on an interface.

• 与类型声明相同,断言自身表达能力不够,无法捕捉我们可能希望在接口上指定的全部规则。