8.4.3 不存在隐式的贯穿