Closed Bug 564227 Opened 15 years ago Closed 15 years ago

encode and decode predicates and constraints via dwarf

Categories

(Servo Graveyard :: Rust, defect)

Product:
Servo Graveyard
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED INCOMPLETE

People

(Reporter: graydon, Unassigned)

References

Details

Currently nothing about the typestate system passes through the crate metadata we emit for dwarf. Implement this.
Depends on: 570648
Moved to github issue #43.
Status: NEW → RESOLVED
Closed: 15 years ago
Resolution: --- → INCOMPLETE
Group: servo
You need to log in before you can comment on or make changes to this bug.