断言函数 Assertion function

使用asserts返回注解，并在函数正常返回后收窄值类型的函数。

别名 assertion signature