moon/zygotec/tests/errors/move_live_owner.zc, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-14T23:10:51+00:00destructors: reassigning an m owner that still holds a value frees the old value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.22026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:05:04+00:00urn:sha1:31ae48845492c12f2745c7f4c0cd2ea448e0942aanalyzer: close the ownership gaps that stopped the compiler compiling itself2026-10-14T05:55:19+00:00zinczinc@downsta.ir2026-10-14T05:55:19+00:00urn:sha1:05f7b7e09ad503e4eac4f757de0d7329174f6437
an owned local can now move into a released owner declared in the same or an
outer block, and g = m*x lends a local owner to a global until the global is
assigned again in the same block. leaving that block, giving the local away, or
returning while the lend is open is an error. recasting a plain local now names
it and says it has no ownership to recast.
methdef and syntax_resident use the supported spellings, so make genome reaches
its fixpoint from a clean checkout. runerr.sh reads the first // expect: line,
since the include headers moved it off line 1.