全部配置 / KN-XALLOW-CONTRACTS-ON-MORE-FUNCTIONS
Xallow-contracts-on-more-functions · KN-XALLOW-CONTRACTS-ON-MORE-FUNCTIONS · 编译器参数（Native）
默认值：默认关。false（BooleanType.defaultFalse）。使用场合：场景可配。场景可配：有明确目标（性能、包体、安全、兼容）时再改。
用途。允许在部分运算符/访问器上使用 contract。原文：Allow contracts on some operators and accessors, and allow checks for erased types.
影响。实验/高级编译开关；默认保持关闭，改前需可复现、可回滚。
适用场景。场景可配。有明确需求再改，无需求时保持发行版默认更稳妥。改前核对目标限制与联动项，改后做冒烟。
可写。（开关存在 / true） / false / 不传
定义依据：description/CommonCompilerArguments.kt 在仓库中打开
// 文件：build.gradle.kts（应用的 Kotlin 模块，例如 composeApp）
kotlin {
ohosArm64 { // 按实际 native target 调整
binaries.all {
freeCompilerArgs += "-Xallow-contracts-on-more-functions"
}
}
}不写这个配置时，编译器会怎么处理？
此选项默认关闭，不设置时不生效。需要时显式开启。
false（BooleanType.defaultFalse）。
以下摘抄原文中与本配置最相关的段落，便于速读；完整上下文请点原文。
Kotlin contract options
The following options enable experimental Kotlin contract features.
-Xallow-contracts-on-more-functions
Enables contracts in additional declarations, including property accessors, specific operator functions, and type assertions on generic types.
-Xallow-condition-implies-returns-contracts
Allows using the returnsNotNull() function in contracts to assume a non-null return value for specified conditions.
-Xallow-holdsin-contract…