[ASDAlexander77]

Problem

#681 made a method call on an object of another module's @final class resolve to the method it names, so the library's __own_no_drops applies. An accessor goes through the vtable by a ts.VirtualSymbolRef instead of a ts.ThisVirtualSymbolRef, and that still resolved to the accessor's family. So reading a getter or assigning a setter ended every borrow it could reach: a record that borrows the object (m.pairWith(a)) could not be read after m.weight or m.weight = 3.

Fix

• MLIRGen (ClassAccessorAccess): an accessor's ts.VirtualSymbolRef on a @final receiver is marked __final_receiver, the same way -mm=own: a method call on another module's @final class keeps its borrows #681 marks a method's ts.ThisVirtualSymbolRef.
• resolveValue reads the mark on a ts.VirtualSymbolRef the same way: the call is to the function named, so addImported applies.

An accessor the library does not list still ends the record's borrows, and so does one on a class that is not @final.

Tests

• export_own_record.ts: Maker gains a weight get/set pair, which destroys nothing, and a @keeps("n") set rebase, which replaces the node a record borrows.
• import_own_record.ts: the record from m.pairWith(a) is read after m.weight = i and m.weight (gc, rc, own; AOT and JIT).
• import_own_record_final_drops.ts (new negative): a read after m.rebase = ... is refused.
• Full suites: Windows 5522/5522, Linux 5500/5500.

Spec notes extended: own memory model §15.7, final classes ("Amended 2026-10-24").

🤖 Generated with Claude Code