可变变量

    编译器会给出关于变量可变性的详细诊断信息。