新增有关类型的断言