41.6.2 类型要求