11.3.4 从属类型