Repository navigation
Shared-kind typarams shouldn't be copyable #984
Description
Activity
This also seems to imply that
fn <@T>can't do vector addition or append on [T]:// compile-fail/unique-vec-res.rs resource r(i: @mutable int) { *i = *i + 1; } fn f<@T>(i: [T], j: [T]) { // Shouldn't be able to do this copy of j let k = i + j; } fn main() { let i1 = @mutable 0; let i2 = @mutable 1; let r1 <- [~r(i1)]; let r2 <- [~r(i2)]; f(r1, r2); log_err *i1; log_err *i2; }- added a commit that references this issue
on Mar 7, 2023 - added a commit that references this issue
on Aug 5, 2023 - added a commit that references this issue
on Jun 4, 2024
Because ~resource is shared kind it is not safe to copy shared kinds for which we don't know the type. This means that the ty param
@Tmust not be copied. On first blush this seems quite restrictive since shared boxes may not be used as ty params when they need to be copied.