E4219

编译器诊断名称：invalid_export_name。

#export_name 属性无效。导出名必须是唯一且有效的 C 符号标识符；此属性只能用于外部库包中无可选参数的公开、非泛型函数定义。

错误示例

///|
#export_name("bad-name")
pub fn add_one(value : Int) -> Int {
  value + 1
}

修改建议

使用有效的符号名称，并通过 pkgtype(kind: "foreign_library") 将包声明为外部库。

///|
#export_name("add_one")
pub fn add_one(value : Int) -> Int {
  value + 1
}