Struct NumericTypeExpected 

pub struct NumericTypeExpected<'db> {
    expr: SymExpr<'db>,
    ty: SymTy<'db>,
    compiler_location: &'static Location<'static>,
}

Fields

expr: SymExpr<'db>

ty: SymTy<'db>

compiler_location: &'static Location<'static>

Implementations

impl<'db> NumericTypeExpected<'db>

pub fn new(expr: SymExpr<'db>, ty: SymTy<'db>) -> Self

Trait Implementations

impl<'db> Clone for NumericTypeExpected<'db>

fn clone(&self) -> NumericTypeExpected<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for NumericTypeExpected<'db>

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

Formats the value using the given formatter.

impl<'db> OrElse<'db> for NumericTypeExpected<'db>

fn or_else(&self, env: &mut Env<'db>, because: Because<'db>) -> Diagnostic

Create a diagnostic representing the error.

fn to_arc(&self) -> ArcOrElse<'db>

Convert a &dyn OrElse<'db> into an ArcOrElse<'db> so that it can be stored in an InferenceVarData or otherwise preserved beyond the current stack frame. See the trait comment for more details.

fn compiler_location(&self) -> &'static Location<'static>

Returns the location in the compiler source where this or_else was created. Useful for debugging.

fn report(&self, env: &mut Env<'db>, because: Because<'db>) -> Reported

Report the diagnostic created by OrElse::or_else.

impl<'db> Copy for NumericTypeExpected<'db>