20.15.4 Java中的直接潜在类型机制