2.超过500总吨的船舶，500总吨以下部分适用本项第1目的规定，500总吨以上的部分，应当增加下列数额：
Eventually the type system will need to figure out types for these parameters – but this is a bit at odds with how inference works in generic functions because the two "pull" on types in different directions.，更多细节参见新收录的资料
。新收录的资料对此有专业解读
courtesy of Jeremy Nguyen，推荐阅读新收录的资料获取更多信息
Последние новости