Skip to content

segfault: alt allows uniqueness violation #2657

Closed
@paulstansifer

Description

@paulstansifer

We shouldn't be able to duplicate a reference to a unique value. But:

let x = some(~1);
alt x {
  some(y) {
    let a <- x;
    let b <- y;
    // disaster ensues, eventually, potentially, distantly
  }
}

The some() isn't even necessary.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions