ARC needs to enforce that its parameter is in the const kind

[erickt]

use std;
import std::arc;

fn main() {
    let i = @5;
    let arc_i = arc::arc(i);

    task::spawn { ||
        let i = *arc::get(&arc_i);
        #error("%?", i);
    }
}

Errors with:

Unreclaimed object found at 0x100600040: 5
rust: "@5"
Assertion failed: (false && "live_allocs < 1"), function free, file /Users/etryzelaar/Projects/rust/rust/src/rt/memory_region.cpp, line 60.

[pcwalton]

This is a symptom of the lack of const kind. You shouldn't be able to ARC a
task-local box.
On May 27, 2012 3:35 PM, "Erick Tryzelaar" <
reply@reply.github.com>
wrote:

use std;
import std::arc;

fn main() {
   let i = @5;
   let arc_i = arc::arc(i);

   task::spawn { ||
       let i = *arc::get(&arc_i);
       #error("%?", i);
   }
}

Errors with:

Unreclaimed object found at 0x100600040: 5
rust: "@5"
Assertion failed: (false && "live_allocs < 1"), function free, file
/Users/etryzelaar/Projects/rust/rust/src/rt/memory_region.cpp, line 60.

---

Reply to this email directly or view it on GitHub:
#2458

[eholk]

I actually have a const bounded arc in one of my local branches. I thought I pushed it to master, but I guess I forgot. I'll try to push it later today.

[eholk]

aa2efc0 adds the const kind bound to arc. It also adds a share_arc, which sadly doesn't work due to compiler bugs.