secondtype meaning in English

对象集合内的所有对象都无法在
类型到
类型的对象
所以必然会通过编译检查的