Enum Outcome 

pub enum Outcome<M, E> {
    Failed(E),
    Module(M, Vec<E>),
}

What a checker hands ModuleWalker::check_in_order back for one module.

A module with errors can still have a shape: it has the interface its declarations that canonicalized give it, whatever the typer says of them, and a typed tree for each declaration the typer did not reject (DEC-23 decisions 1, 2 and 5). So “checked” and “failed” are not the only two answers: Module carries a module together with everything wrong with it.

Variants

Failed(E)

Nothing to publish.

Module(M, Vec<E>)

A module, and everything wrong with it. An empty list does not say the module checked: a checker may drop an error that restates another module’s failure, so the caller reads the module for whether it is whole as well.

Trait Implementations

impl<M: Debug, E: Debug> Debug for Outcome<M, E>

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

Formats the value using the given formatter.