Type to represent errors, mainly in hax-engine. The engine doesn’t do any reporting itself: it only sends JSON to its stdout, and cargo-hax takes care of reporting everything in a rustc style.
hax-engine
cargo-hax