19.4 检查型变注解