Trait Constructible 

pub trait Constructible<'brand, J, X, W>:
    JetConstructible<'brand, J>
    + DisconnectConstructible<'brand, X>
    + WitnessConstructible<'brand, W>
    + CoreConstructible<'brand>
    + Sized {
    // Provided method
    fn from_inner(
        inference_context: &Context<'brand>,
        inner: Inner<&Self, J, &X, W>,
    ) -> Result<Self, Error> { ... }
}

Provided Methods

fn from_inner( inference_context: &Context<'brand>, inner: Inner<&Self, J, &X, W>, ) -> Result<Self, Error>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'brand, J, X, W, T> Constructible<'brand, J, X, W> for T

where T: DisconnectConstructible<'brand, X> + JetConstructible<'brand, J> + WitnessConstructible<'brand, W> + CoreConstructible<'brand> + Sized,