Trait salsa::InternKey

pub trait InternKey {
    // Required methods
    fn from_intern_id(v: InternId) -> Self;
    fn as_intern_id(&self) -> InternId;
}

Trait implemented for the “key” that results from a #[salsa::intern] query. This is basically meant to be a “newtype”’d u32.

Required Methods

fn from_intern_id(v: InternId) -> Self

Create an instance of the intern-key from a u32 value.

fn as_intern_id(&self) -> InternId

Extract the u32 with which the intern-key was created.

Object Safety

This trait is not object safe.

Implementors

impl InternKey for InternId