Struct Recovered 

pub struct Recovered<T> { /* private fields */ }

A compiler product retained even when recovery emits diagnostics.

Recovered deliberately never uses Result: syntax and type problems are compiler data, while callers always retain an inspectable product.

Implementations

impl<T> Recovered<T>

pub fn new(product: T, diagnostics: Vec<Diagnostic>) -> Self

Retains product and canonically orders its diagnostics.

pub fn clean(product: T) -> Self

Wraps a product with no diagnostics.

pub const fn product(&self) -> &T

Returns the recovered product.

pub fn into_product(self) -> T

Consumes the wrapper while retaining the recovered product.

pub fn diagnostics(&self) -> &[Diagnostic]

Returns diagnostics in canonical order.

pub fn into_parts(self) -> (T, Vec<Diagnostic>)

Consumes the wrapper into its product and canonically ordered diagnostics.

pub fn map<U>(self, transform: impl FnOnce(T) -> U) -> Recovered<U>

Transforms the retained product without discarding recovery diagnostics.

pub fn with_diagnostic(self, diagnostic: Diagnostic) -> Self

Returns a new wrapper with one additional diagnostic in canonical order.

Trait Implementations

impl<T: Clone> Clone for Recovered<T>

fn clone(&self) -> Recovered<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for Recovered<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for Recovered<T>

impl<T: PartialEq> PartialEq for Recovered<T>

fn eq(&self, other: &Recovered<T>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<T: PartialEq> StructuralPartialEq for Recovered<T>