Struct chalk_integration::lowering::program_lowerer::ProgramLowerer

source ·

pub(super) struct ProgramLowerer {Show 18 fields
    next_item_index: u32,
    associated_ty_lookups: BTreeMap<(TraitId<ChalkIr>, Identifier), AssociatedTyLookup>,
    associated_ty_value_ids: BTreeMap<(ImplId<ChalkIr>, Identifier), AssociatedTyValueId<ChalkIr>>,
    adt_ids: BTreeMap<Identifier, AdtId<ChalkIr>>,
    fn_def_ids: BTreeMap<Identifier, FnDefId<ChalkIr>>,
    closure_ids: BTreeMap<Identifier, ClosureId<ChalkIr>>,
    trait_ids: BTreeMap<Identifier, TraitId<ChalkIr>>,
    auto_traits: BTreeMap<TraitId<ChalkIr>, bool>,
    opaque_ty_ids: BTreeMap<Identifier, OpaqueTyId<ChalkIr>>,
    adt_kinds: BTreeMap<AdtId<ChalkIr>, TypeKind>,
    fn_def_kinds: BTreeMap<FnDefId<ChalkIr>, TypeKind>,
    coroutine_ids: BTreeMap<Identifier, CoroutineId<ChalkIr>>,
    coroutine_kinds: BTreeMap<CoroutineId<ChalkIr>, TypeKind>,
    closure_kinds: BTreeMap<ClosureId<ChalkIr>, TypeKind>,
    trait_kinds: BTreeMap<TraitId<ChalkIr>, TypeKind>,
    opaque_ty_kinds: BTreeMap<OpaqueTyId<ChalkIr>, TypeKind>,
    object_safe_traits: HashSet<TraitId<ChalkIr>>,
    foreign_ty_ids: BTreeMap<Identifier, ForeignDefId<ChalkIr>>,
}

Fields§

§next_item_index: u32§associated_ty_lookups: BTreeMap<(TraitId<ChalkIr>, Identifier), AssociatedTyLookup>§associated_ty_value_ids: BTreeMap<(ImplId<ChalkIr>, Identifier), AssociatedTyValueId<ChalkIr>>§adt_ids: BTreeMap<Identifier, AdtId<ChalkIr>>§fn_def_ids: BTreeMap<Identifier, FnDefId<ChalkIr>>§closure_ids: BTreeMap<Identifier, ClosureId<ChalkIr>>§trait_ids: BTreeMap<Identifier, TraitId<ChalkIr>>§auto_traits: BTreeMap<TraitId<ChalkIr>, bool>§opaque_ty_ids: BTreeMap<Identifier, OpaqueTyId<ChalkIr>>§adt_kinds: BTreeMap<AdtId<ChalkIr>, TypeKind>§fn_def_kinds: BTreeMap<FnDefId<ChalkIr>, TypeKind>§coroutine_ids: BTreeMap<Identifier, CoroutineId<ChalkIr>>§coroutine_kinds: BTreeMap<CoroutineId<ChalkIr>, TypeKind>§closure_kinds: BTreeMap<ClosureId<ChalkIr>, TypeKind>§trait_kinds: BTreeMap<TraitId<ChalkIr>, TypeKind>§opaque_ty_kinds: BTreeMap<OpaqueTyId<ChalkIr>, TypeKind>§object_safe_traits: HashSet<TraitId<ChalkIr>>§foreign_ty_ids: BTreeMap<Identifier, ForeignDefId<ChalkIr>>

Struct chalk_integration::lowering::program_lowerer::ProgramLowerer

Fields§

Implementations§

impl ProgramLowerer

pub fn next_item_id(&mut self) -> RawId

pub fn extract_associated_types( &mut self, program: &Program, raw_ids: &[RawId] ) -> Result<(), RustIrError>

pub fn extract_ids( &mut self, program: &Program, raw_ids: &[RawId] ) -> Result<(), RustIrError>

pub fn lower( self, program: &Program, raw_ids: &[RawId] ) -> Result<LoweredProgram, RustIrError>

Trait Implementations§

impl Default for ProgramLowerer

fn default() -> ProgramLowerer

Auto Trait Implementations§

impl RefUnwindSafe for ProgramLowerer

impl Send for ProgramLowerer

impl Sync for ProgramLowerer

impl Unpin for ProgramLowerer

impl UnwindSafe for ProgramLowerer

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> Cast for T

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

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

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

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

type Error = Infallible

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

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

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

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

impl<T, U> Upcast<U> for Twhere 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>,

fn with_current_subscriber(self) -> WithDispatch<Self>

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

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

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

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

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

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

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

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

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