Struct DbInterner

Source

pub struct DbInterner<'db> {
    pub(crate) db: &'db dyn HirDatabase,
    krate: Option<Crate>,
    lang_items: Option<&'db LangItems>,
}

Fields§

§db: &'db dyn HirDatabase§krate: Option<Crate>§lang_items: Option<&'db LangItems>

Implementations§

Source §

impl<'db> DbInterner<'db>

Source

pub fn instantiate_bound_regions<T, F>( self, value: Binder<'db, T>, fld_r: F, ) -> (T, FxIndexMap<BoundRegion<'db>, Region<'db>>)
where F: FnMut(BoundRegion<'db>) -> Region<'db>, T: TypeFoldable<DbInterner<'db>>,

Replaces all regions bound by the given Binder with the results returned by the closure; the closure is expected to return a free region (relative to this binder), and hence the binder is removed in the return type. The closure is invoked once for each unique BoundRegionKind; multiple references to the same BoundRegionKind will reuse the previous result. A map is returned at the end with each bound region and the free region that replaced it.

§Panics

This method only replaces late bound regions. Any types or constants bound by value will cause an ICE.

Source

pub fn instantiate_bound_regions_uncached<T, F>( self, value: Binder<'db, T>, replace_regions: F, ) -> T
where F: FnMut(BoundRegion<'db>) -> Region<'db>, T: TypeFoldable<DbInterner<'db>>,

Source

pub fn instantiate_bound_regions_with_erased<T>( self, value: Binder<'db, T>, ) -> T
where T: TypeFoldable<DbInterner<'db>>,

Replaces any late-bound regions bound in value with 'erased. Useful in codegen but also method lookup and a few other places where precise region relationships are not required.

Source

pub fn liberate_late_bound_regions<T>( self, all_outlive_scope: SolverDefId<'db>, value: Binder<'db, T>, ) -> T
where T: TypeFoldable<DbInterner<'db>>,

Replaces any late-bound regions bound in value with free variants attached to all_outlive_scope.

fn struct_tail_ty( self, interner: DbInterner<'db>, ) -> Option<EarlyBinder<DbInterner<'db>, Ty<'db>>>

Returns the type of the struct tail. Read more

Performs a instantiation suitable for going from a poly-trait-ref to supertraits that must hold if that poly-trait-ref holds. This is slightly different from a normal instantiation in terms of what happens with bound regions.

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

Performs copy-assignment from source. Read more

Source §

fn mk_type_list_from_iter<I, T>(self, args: I) -> T::Output
where I: Iterator<Item = T>, T: CollectAndApply<Self::Ty, Self::Tys>,

Source §

fn projection_parent(self, def_id: Self::TraitAssocTermId) -> Self::TraitId

Source §

fn impl_or_trait_assoc_term_parent( self, def_id: Self::ImplOrTraitAssocTermId, ) -> Self::DefId

This can be an impl, or a trait if this is a defaulted term.

This is equivalent to computing the super-predicates of the trait for this impl and filtering them to the outlives predicates. This is purely for performance.

Returns true if this is an unsafe trait.

fn is_safe(self) -> bool

Is the safety mode Safe?

Source §

fn prefix_str(self) -> &'static str

The string prefix for this safety mode.

Source §

fn unsafe_mode() -> Self

fn has_unsafe_fields(self) -> bool

Checks whether this type is an ADT that has unsafe fields.

fn relate_with_variance<T: Relate<DbInterner<'db>>>( &mut self, variance: Variance, _info: VarianceDiagInfo<DbInterner<'db>>, a: T, b: T, ) -> RelateResult<'db, T>

Switch variance for the purpose of relating a and b.

impl<'db> TypeRelation<DbInterner<'db>> for LatticeOp<'_, 'db>

Source §

fn tys(&mut self, a: Ty<'db>, b: Ty<'db>) -> RelateResult<'db, Ty<'db>>

Relates two types using a given lattice.

Source §

impl Sync for DbInterner<'_>

§

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

§

impl<T> Lookup<T> for T

§

fn into_owned(self) -> T

§

Drops the object pointed to by the given pointer. Read more

Source §

impl<T> ToOwned for T
where T: Clone,

Source §

type Owned = T

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

Struct DbInterner Copy item path

Fields§

Implementations§

impl<'db> DbInterner<'db>

pub fn instantiate_bound_regions<T, F>( self, value: Binder<'db, T>, fld_r: F, ) -> (T, FxIndexMap<BoundRegion<'db>, Region<'db>>)where F: FnMut(BoundRegion<'db>) -> Region<'db>, T: TypeFoldable<DbInterner<'db>>,

§Panics

pub fn instantiate_bound_regions_uncached<T, F>( self, value: Binder<'db, T>, replace_regions: F, ) -> Twhere F: FnMut(BoundRegion<'db>) -> Region<'db>, T: TypeFoldable<DbInterner<'db>>,

pub fn instantiate_bound_regions_with_erased<T>( self, value: Binder<'db, T>, ) -> Twhere T: TypeFoldable<DbInterner<'db>>,

pub fn liberate_late_bound_regions<T>( self, all_outlive_scope: SolverDefId<'db>, value: Binder<'db, T>, ) -> Twhere T: TypeFoldable<DbInterner<'db>>,

impl<'db> DbInterner<'db>

pub(super) fn mk_args(self, args: &[GenericArg<'db>]) -> GenericArgs<'db>

pub(super) fn mk_args_from_iter<I, T>(self, iter: I) -> T::Outputwhere I: Iterator<Item = T>, T: CollectAndApply<GenericArg<'db>, GenericArgs<'db>>,

impl<'db> DbInterner<'db>

pub fn new_no_crate(db: &'db dyn HirDatabase) -> Self

pub fn new_with(db: &'db dyn HirDatabase, krate: Crate) -> DbInterner<'db>

pub fn db(&self) -> &'db dyn HirDatabase

pub fn lang_items(&self) -> &'db LangItems

pub fn default_types(&self) -> &'db DefaultAny<'db>

pub(crate) fn expect_crate(&self) -> Crate

impl<'db> DbInterner<'db>

pub fn shift_bound_var_indices<T>(self, bound_vars: usize, value: T) -> Twhere T: TypeFoldable<Self>,

pub fn replace_escaping_bound_vars_uncached<T: TypeFoldable<DbInterner<'db>>>( self, value: T, delegate: impl BoundVarReplacerDelegate<'db>, ) -> T

pub fn replace_bound_vars_uncached<T: TypeFoldable<DbInterner<'db>>>( self, value: Binder<'db, T>, delegate: impl BoundVarReplacerDelegate<'db>, ) -> T

pub fn mk_fn_sig<I>( self, inputs: I, output: Ty<'db>, c_variadic: bool, safety: Safety, abi: ExternAbi, ) -> FnSig<'db>where I: IntoIterator<Item = Ty<'db>>,

pub fn mk_fn_sig_safe_rust_abi<I>( self, inputs: I, output: Ty<'db>, ) -> FnSig<'db>where I: IntoIterator<Item = Ty<'db>>,

impl<'db> DbInterner<'db>

pub fn signature_unclosure( self, sig: PolyFnSig<'db>, safety: Safety, ) -> PolyFnSig<'db>

Trait Implementations§

impl<'db> AdtDef<DbInterner<'db>> for AdtDef

fn def_id(self) -> AdtIdWrapper

fn is_struct(self) -> bool

fn is_phantom_data(self) -> bool

fn is_manually_drop(self) -> bool

fn is_packed(self) -> bool

fn is_fundamental(self) -> bool

fn struct_tail_ty( self, interner: DbInterner<'db>, ) -> Option<EarlyBinder<DbInterner<'db>, Ty<'db>>>

fn all_field_tys( self, interner: DbInterner<'db>, ) -> EarlyBinder<DbInterner<'db>, impl IntoIterator<Item = Ty<'db>>>

fn sizedness_constraint( self, interner: DbInterner<'db>, sizedness: SizedTraitKind, ) -> Option<EarlyBinder<DbInterner<'db>, Ty<'db>>>

fn destructor(self, interner: DbInterner<'db>) -> Option<AdtDestructorKind>

fn field_representing_type_info( self, _interner: DbInterner<'db>, _args: GenericArgs<'db>, ) -> Option<FieldInfo<DbInterner<'db>>>

impl<'db> BoundExistentialPredicates<DbInterner<'db>> for BoundExistentialPredicates<'db>

fn principal_def_id(self) -> Option<TraitIdWrapper>

fn principal( self, ) -> Option<Binder<DbInterner<'db>, ExistentialTraitRef<DbInterner<'db>>>>

fn auto_traits(self) -> impl IntoIterator<Item = TraitIdWrapper>

fn projection_bounds( self, ) -> impl IntoIterator<Item = Binder<DbInterner<'db>, ExistentialProjection<DbInterner<'db>>>>

impl<'db> Clause<DbInterner<'db>> for Clause<'db>

fn as_predicate(self) -> <DbInterner<'db> as Interner>::Predicate

fn instantiate_supertrait( self, cx: DbInterner<'db>, trait_ref: Binder<DbInterner<'db>, TraitRef<DbInterner<'db>>>, ) -> Self

fn as_trait_clause(self) -> Option<Binder<I, TraitPredicate<I>>>

fn as_host_effect_clause(self) -> Option<Binder<I, HostEffectPredicate<I>>>

fn as_projection_clause(self) -> Option<Binder<I, ProjectionPredicate<I>>>

impl<'db> Clone for DbInterner<'db>

fn clone(&self) -> DbInterner<'db>

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

impl<'db> Const<DbInterner<'db>> for Const<'db>

fn new_infer(interner: DbInterner<'db>, var: InferConst) -> Self

fn new_var(interner: DbInterner<'db>, var: ConstVid) -> Self

fn new_bound( interner: DbInterner<'db>, debruijn: DebruijnIndex, var: BoundConst<'db>, ) -> Self

fn new_anon_bound( interner: DbInterner<'db>, debruijn: DebruijnIndex, var: BoundVar, ) -> Self

fn new_canonical_bound(interner: DbInterner<'db>, var: BoundVar) -> Self

fn new_placeholder( interner: DbInterner<'db>, param: PlaceholderConst<'db>, ) -> Self

fn new_unevaluated( interner: DbInterner<'db>, uv: UnevaluatedConst<DbInterner<'db>>, ) -> Self

fn new_expr(interner: DbInterner<'db>, expr: ExprConst) -> Self

fn new_error(interner: DbInterner<'db>, _guar: ErrorGuaranteed) -> Self

fn new_error_with_message(interner: I, msg: impl ToString) -> Self

fn is_ct_var(self) -> bool

fn is_ct_error(self) -> bool

impl<'db> DbInternerInferExt<'db> for DbInterner<'db>

fn infer_ctxt(self) -> InferCtxtBuilder<'db>

impl<'db> Debug for DbInterner<'db>

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

impl<'db> DefId<DbInterner<'db>> for AnyImplId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>> for CallableIdWrapper

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>> for GeneralConstIdWrapper<'db>

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

Struct DbInterner

pub fn instantiate_bound_regions<T, F>( self, value: Binder<'db, T>, fld_r: F, ) -> (T, FxIndexMap<BoundRegion<'db>, Region<'db>>)
where F: FnMut(BoundRegion<'db>) -> Region<'db>, T: TypeFoldable<DbInterner<'db>>,

pub fn instantiate_bound_regions_uncached<T, F>( self, value: Binder<'db, T>, replace_regions: F, ) -> T
where F: FnMut(BoundRegion<'db>) -> Region<'db>, T: TypeFoldable<DbInterner<'db>>,

pub fn instantiate_bound_regions_with_erased<T>( self, value: Binder<'db, T>, ) -> T
where T: TypeFoldable<DbInterner<'db>>,

pub fn liberate_late_bound_regions<T>( self, all_outlive_scope: SolverDefId<'db>, value: Binder<'db, T>, ) -> T
where T: TypeFoldable<DbInterner<'db>>,

pub(super) fn mk_args_from_iter<I, T>(self, iter: I) -> T::Output
where I: Iterator<Item = T>, T: CollectAndApply<GenericArg<'db>, GenericArgs<'db>>,

pub fn shift_bound_var_indices<T>(self, bound_vars: usize, value: T) -> T
where T: TypeFoldable<Self>,

pub fn mk_fn_sig<I>( self, inputs: I, output: Ty<'db>, c_variadic: bool, safety: Safety, abi: ExternAbi, ) -> FnSig<'db>
where I: IntoIterator<Item = Ty<'db>>,

pub fn mk_fn_sig_safe_rust_abi<I>( self, inputs: I, output: Ty<'db>, ) -> FnSig<'db>
where I: IntoIterator<Item = Ty<'db>>,