Struct DebugJSON 

pub struct DebugJSON<T: Serialize>(pub T);

This type is primarily useful inside printer implementations when you want a low-friction way to inspect an AST fragment.

What it does

• Appends a JSON representation of the wrapped value to "/tmp/hax-ast-debug.json" (one JSON document per line).
• Implements std::fmt::Display to print a just invocation you can paste in a shell to re-open that same JSON by line number: just debug-json <line-id>

Example

let s = Small { x: 42 };
// Prints something like: `just debug-json 17`.
println!("{}", DebugJSON(&s));
// Running `just debug-json 17` will print `{"x":42}`

Notes

• This is a debugging convenience and intentionally has a side-effect (file write). Avoid keeping it in user-facing output paths.
• The file grows over time; occasionally delete it if you no longer need historical entries.

Tuple Fields

0: T

Trait Implementations

impl<T: Serialize> Display for DebugJSON<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: 'static + Clone, P, T: Serialize + Debug> ToDocument<P, A> for DebugJSON<T>

fn to_document(&self, _: &P) -> DocBuilder<A>

Produce a document using the provided printer reference.