Enum chalk_integration::lowering::env::TypeLookup

pub enum TypeLookup<'k> {
    Parameter(&'k WithKind<ChalkIr, BoundVar>),
    Adt(AdtId<ChalkIr>),
    FnDef(FnDefId<ChalkIr>),
    Closure(ClosureId<ChalkIr>),
    Opaque(OpaqueTyId<ChalkIr>),
    Foreign(ForeignDefId<ChalkIr>),
    Trait(TraitId<ChalkIr>),
    Coroutine(CoroutineId<ChalkIr>),
}

Variants§

Parameter(&'k WithKind<ChalkIr, BoundVar>)

Adt(AdtId<ChalkIr>)

FnDef(FnDefId<ChalkIr>)

Closure(ClosureId<ChalkIr>)

Opaque(OpaqueTyId<ChalkIr>)

Foreign(ForeignDefId<ChalkIr>)

Trait(TraitId<ChalkIr>)

Coroutine(CoroutineId<ChalkIr>)

Auto Trait Implementations§

impl<'k> Freeze for TypeLookup<'k>

impl<'k> RefUnwindSafe for TypeLookup<'k>

impl<'k> Send for TypeLookup<'k>

impl<'k> Sync for TypeLookup<'k>

impl<'k> Unpin for TypeLookup<'k>

impl<'k> UnwindSafe for TypeLookup<'k>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> Cast for T

fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U
where Self: CastTo<U>, U: HasInterner,

Cast a value to type U using CastTo.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

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

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T, U> Upcast<U> for T
where U: UpcastFrom<T> + ?Sized, T: ?Sized,

fn upcast(&self) -> &U

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more