[][src]Enum oakc::tir::TirError

pub enum TirError {
    InvalidCopyTypeSignature(Identifier),
    InvalidDropTypeSignature(Identifier),
    StructureNotDefined(Identifier),
    ExplicitCopy,
}

Variants

InvalidCopyTypeSignature(Identifier)

A copy method must have a very specific type signature: fn copy(self: &T) -> T This is so that the compiler can properly place copy and drop method calls for automatic memory management.

InvalidDropTypeSignature(Identifier)

A drop method must have a very specific type signature: fn drop(self: &T) -> void This is so that the compiler can properly place copy and drop method calls for automatic memory management.

StructureNotDefined(Identifier)

Does a structure use a member with an undefined type? If so, then this error is thrown.

ExplicitCopy

The user may NOT call the .copy() method explicitly The compiler is only allowed to call this method. This is to prevent memory leaks.

Trait Implementations

impl Clone for TirError[src]

impl Debug for TirError[src]

impl Display for TirError[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Colorize for T where
    T: Display
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.