Ballerina中解构剩余变量含never类型字段无法直接赋值问题

请查看以下Ballerina代码：

type Student record {|
    string name;
    string school;
|};

type HolidayRequest record {|
    record {|
        *Student;
        int noOfDays;
    |} student;
    string teacher;
|};

function testFn(HolidayRequest req) {
    record {|*Student; int noOfDays;|} {noOfDays, ...studentData} = req.student;
    Student student = {...studentData};
    // undefined field 'noOfDays' in record 'Student'
}

变量studentData的类型为record {|never noOfDays?; string name; string school;|}，无法将其作为剩余字段赋值给类型为record {|string name; string school;|}的变量。请问为何不允许此操作？

我曾尝试手动逐个添加字段值，但这并非我想要的解决方式。

更新：

• 已更新问题标题

原因解释 #

Ballerina的类型系统基于声明的结构做静态检查，而非运行时实际值。虽然studentData里的noOfDays?是never类型（意味着这个字段不可能有有效值），但它的类型声明里明确包含了这个可选字段，而目标类型Student完全没有该字段的定义。编译器会严格匹配记录的结构定义，只要类型声明存在差异，就会拒绝赋值操作。

解决方案 #

无需手动逐个赋值，用显式类型转换即可解决：

function testFn(HolidayRequest req) {
    record {|*Student; int noOfDays;|} {noOfDays, ...studentData} = req.student;
    Student student = studentData as Student;
}

或者更简洁的写法，直接在解构后转换：

function testFn(HolidayRequest req) {
    Student student = req.student as record {|*Student; int noOfDays;|} as Student;
}

这种方式相当于告诉编译器，你确认studentData的实际字段完全符合Student的结构，从而绕过字段检查。

内容的提问来源于stack exchange，提问作者Dulaj Dilshan