pub struct Report {
pub phase: Phase,
pub ok: bool,
pub parse_errors: Vec<(usize, usize)>,
pub checks: Vec<Diag>,
pub diagnostics: Vec<Diag>,
pub outputs: Vec<(String, String)>,
pub inputs: Vec<String>,
}Fields§
§phase: Phase§ok: bool§parse_errors: Vec<(usize, usize)>§checks: Vec<Diag>static-checker diagnostics
diagnostics: Vec<Diag>binding / evaluation / assertion diagnostics
outputs: Vec<(String, String)>every output, serialized as canonical JSON text
inputs: Vec<String>input roots declared by the module (not bound here)
Auto Trait Implementations§
impl Freeze for Report
impl RefUnwindSafe for Report
impl Send for Report
impl Sync for Report
impl Unpin for Report
impl UnsafeUnpin for Report
impl UnwindSafe for Report
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more