encode and decode predicates and constraints via dwarf

74e55a9
Opened by Graydon Hoare at 2011-01-27 00:50:24

Currently nothing about the typestate system passes through the crate metadata we emit for dwarf. Implement this.

  1. WONTFIX (not required for bootstrapping)

    Graydon Hoare at 2011-01-27 00:50:24