Skip to main content

IntoError

Trait IntoError 

Source
pub trait IntoError {
    // Required method
    fn into_err(self) -> Error;
}
Expand description

Generate an Error.

Required Methods§

Source

fn into_err(self) -> Error

Produce the sequence of spans and help messages.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§

Source§

impl IntoError for Basic

Source§

impl IntoError for Raw

Source§

impl<It, slow, implicit, extra> IntoError for ClkTooSlowExpectImplicit<slow, implicit, extra>
where slow: Display + TrySpan + TryDefSite, implicit: TrySpan, extra: IntoIterator<Item = It>, It: Display,

Source§

impl<Its, head, items> IntoError for Cycle<head, items>
where head: Display + TrySpan, items: IntoIterator<Item = Its>, Its: TrySpan + Display,

Source§

impl<attr, construct, site> IntoError for InapplicableAttribute<attr, construct, site>
where attr: Display, construct: Display, site: TrySpan,

Source§

impl<expr> IntoError for NotAClock<expr>
where expr: Display + TrySpan,

Source§

impl<expr> IntoError for ShallowPre<expr>
where expr: TrySpan,

Source§

impl<first, second, whole> IntoError for ClkNotComparable<first, second, whole>
where first: Display + TrySpan + TryDefSite, second: Display + TrySpan + TryDefSite, whole: TrySpan,

Source§

impl<first, second, whole> IntoError for ClkNotIdentical<first, second, whole>
where first: Display + TrySpan + TryDefSite, second: Display + TrySpan + TryDefSite, whole: TrySpan,

Source§

impl<fun> IntoError for FunNotFound<fun>
where fun: Display + TrySpan,

Source§

impl<oper1, first, site, second, third, oper2> IntoError for CmpNotAssociative<oper1, first, site, second, third, oper2>
where oper1: Display, first: Display, site: TrySpan, second: Display, third: Display, oper2: Display,

Source§

impl<oper, expect, site, inner> IntoError for UnopMismatch<oper, expect, site, inner>
where oper: Display, expect: Display, site: TrySpan, inner: Display + TrySpan,

Source§

impl<oper, site, expect, left, right> IntoError for BinopMismatch<oper, site, expect, left, right>
where oper: Display, site: TrySpan, expect: Display, left: Display + TrySpan, right: Display + TrySpan,

Source§

impl<reason, inputs_nonempty, inputs, outputs_nonempty, outputs, site> IntoError for ExecutableNodeSig<reason, inputs_nonempty, inputs, outputs_nonempty, outputs, site>
where reason: Display, inputs_nonempty: Condition, inputs: TrySpan, outputs_nonempty: Condition, outputs: TrySpan, site: TrySpan,

Source§

impl<site> IntoError for UnhandledLitType<site>
where site: TrySpan,

Source§

impl<source, left, right, msg> IntoError for TypeMismatch<source, left, right, msg>
where source: TrySpan, left: Display + TrySpan, right: Display + TrySpan, msg: Display,

Source§

impl<typ> IntoError for ScalarNotTuple<typ>
where typ: Display + TrySpan,

Source§

impl<undeclared> IntoError for UndeclaredGeneric<undeclared>
where undeclared: Display + TrySpan,

Source§

impl<unit, def_site, usage> IntoError for GraphUnitDependsOnItself<unit, def_site, usage>
where unit: Display, def_site: TrySpan, usage: TrySpan,

Source§

impl<unit, new_site, prior, prior_site> IntoError for GraphUnitDeclTwice<unit, new_site, prior, prior_site>
where unit: Display, new_site: TrySpan, prior: Display, prior_site: TrySpan,

Source§

impl<unit> IntoError for GraphUnitUndeclared<unit>
where unit: Display + TrySpan,

Source§

impl<unused, inputs> IntoError for UnusedGeneric<unused, inputs>
where unused: Display + TrySpan, inputs: TrySpan,

Source§

impl<var, site, available_depth, attempted_depth> IntoError for NotPositive<var, site, available_depth, attempted_depth>
where var: Display, site: TrySpan, available_depth: Display, attempted_depth: Display,

Source§

impl<var, suggest1, suggest2> IntoError for VarNotFound<var, suggest1, suggest2>
where var: Display + TrySpan, suggest1: Display, suggest2: Display,

Source§

impl<var, suggest> IntoError for TyVarNotFound<var, suggest>
where var: Display + TrySpan, suggest: Display,

Source§

impl<variable, previous, new, context> IntoError for UnsatGenericConstraint<variable, previous, new, context>
where variable: Display, previous: Display + TrySpan, new: Display + TrySpan, context: TrySpan,

Source§

impl<what, site, inner> IntoError for BoolRequired<what, site, inner>
where what: Display, site: TrySpan, inner: Display + TrySpan,

Source§

impl<what, site> IntoError for NotConst<what, site>
where what: Display, site: TrySpan,