Enum CheckResult 

pub enum CheckResult {
    MustIntern(TokenStream),
    MustInternOrInherit(TokenStream),
    MustNotIntern(TokenStream),
    Neutral,
}

Represents result of Leaker::check(), holding the cause in its tuple item.

Variants

MustIntern(TokenStream)

The type must be interned because it directly depends on the type context.

MustInternOrInherit(TokenStream)

The type must be interned because one of the types which it constituted with must be interned.

MustNotIntern(TokenStream)

The type must not be interned, because type_leak cannot intern this. (e.g. impl Traits, _, trait bounds with relative trait path, …)

Neutral

Other.

Trait Implementations

impl Clone for CheckResult

fn clone(&self) -> CheckResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckResult

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

Formats the value using the given formatter.