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::ProgramLowererCopy item path

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 Freeze for ProgramLowerer

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>

Struct chalk_integration::lowering::program_lowerer::ProgramLowerer

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>,