Struct rustc_type_ir::WithInfcx

pub struct WithInfcx<'a, Infcx: InferCtxtLike, T> {
    pub data: T,
    pub infcx: &'a Infcx,
}

Fields

data: T

infcx: &'a Infcx

Implementations

impl<'a, I: Interner, T> WithInfcx<'a, NoInfcx<I>, T>

pub fn with_no_infcx(data: T) -> Self

impl<'a, Infcx: InferCtxtLike, T> WithInfcx<'a, Infcx, T>

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

pub fn wrap<U>(self, u: U) -> WithInfcx<'a, Infcx, U>

pub fn map<U>(self, f: impl FnOnce(T) -> U) -> WithInfcx<'a, Infcx, U>

pub fn as_ref(&self) -> WithInfcx<'a, Infcx, &T>

Trait Implementations

impl<Infcx: InferCtxtLike, T: Clone> Clone for WithInfcx<'_, Infcx, T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Infcx: InferCtxtLike, T: DebugWithInfcx<Infcx::Interner>> Debug for WithInfcx<'_, Infcx, T>

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

Formats the value using the given formatter.

impl<Infcx: InferCtxtLike, T: Copy> Copy for WithInfcx<'_, Infcx, 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.