通过断言指定表达式的类型。