Trait UniKindCodes 

pub trait UniKindCodes: UniKindCode {
    type Code2;

    // Required method
    fn typed_code2(&self, cause: Option<Cause<'_>>) -> Self::Code2;
}

A UniKind that has a two typed codes.

Required Associated Types

type Code2

The type of the 2nd code.

Required Methods

fn typed_code2(&self, cause: Option<Cause<'_>>) -> Self::Code2

Returns the 2nd typed code for this specific kind.

Implementations

impl<C, C2> dyn UniKindCodes<Code = C, Code2 = C2>

pub fn downcast_ref<K: UniKindCodes<Code = C, Code2 = C2>>(&self) -> Option<&K>

Attempts to downcast a UniKind to a specific concrete type.

Implementors