Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Switched extra::json to using rt::io.
Unfortunately, due to rust-lang#8579 and rust-lang#6551, extra::workcache can't be made to work with the new extra::json. Either ICEs are cause (which is the state currently) or there are unconstrained types at the callsites for extra::work_cache::json_encode.
- Loading branch information