Struct rustc_type_ir::OptWithInfcx

pub struct OptWithInfcx<'a, I: Interner, InfCtx: InferCtxtLike<I>, T> {
    pub data: T,
    pub infcx: Option<&'a InfCtx>,
    _interner: PhantomData<I>,
}

Fields

data: T

infcx: Option<&'a InfCtx>

_interner: PhantomData<I>

Implementations

impl<'a, I: Interner, T> OptWithInfcx<'a, I, Infallible, T>

pub fn new_no_ctx(data: T) -> Self

impl<'a, I: Interner, InfCtx: InferCtxtLike<I>, T> OptWithInfcx<'a, I, InfCtx, T>

pub fn new(data: T, infcx: &'a InfCtx) -> Self

pub fn wrap<U>(self, u: U) -> OptWithInfcx<'a, I, InfCtx, U>

pub fn map<U>(self, f: impl FnOnce(T) -> U) -> OptWithInfcx<'a, I, InfCtx, U>

pub fn as_ref(&self) -> OptWithInfcx<'a, I, InfCtx, &T>

Trait Implementations

impl<I: Interner, InfCtx: InferCtxtLike<I>, T: Clone> Clone for OptWithInfcx<'_, I, InfCtx, T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Interner, InfCtx: InferCtxtLike<I>, T: DebugWithInfcx<I>> Debug for OptWithInfcx<'_, I, InfCtx, T>

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

Formats the value using the given formatter.

impl<I: Interner, InfCtx: InferCtxtLike<I>, T: Copy> Copy for OptWithInfcx<'_, I, InfCtx, T>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.