Struct rustc_traits::chalk::db::RustIrDatabase

pub struct RustIrDatabase<'tcx> {
    pub(crate) interner: RustInterner<'tcx>,
    pub(crate) reempty_placeholder: Region<'tcx>,
}

Fields

interner: RustInterner<'tcx>

reempty_placeholder: Region<'tcx>

Implementations

impl<'tcx> RustIrDatabase<'tcx>

pub(in chalk::db) fn where_clauses_for(
    &self,
    def_id: DefId,
    bound_vars: SubstsRef<'tcx>
) -> Vec<QuantifiedWhereClause<RustInterner<'tcx>>>

pub(in chalk::db) fn bounds_for<T>(
    &self,
    def_id: DefId,
    bound_vars: SubstsRef<'tcx>
) -> Vec<T> where
    Predicate<'tcx>: LowerInto<'tcx, Option<T>>, 

Trait Implementations

impl<'_> Debug for RustIrDatabase<'_>

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

Formats the value using the given formatter.

impl<'tcx> RustIrDatabase<RustInterner<'tcx>> for RustIrDatabase<'tcx>

pub fn interner(&self) -> &RustInterner<'tcx>

pub fn associated_ty_data(
    &self,
    assoc_type_id: AssocTypeId<RustInterner<'tcx>>
) -> Arc<AssociatedTyDatum<RustInterner<'tcx>>>

Returns the datum for the associated type with the given id.

pub fn trait_datum(
    &self,
    trait_id: TraitId<RustInterner<'tcx>>
) -> Arc<TraitDatum<RustInterner<'tcx>>>

Returns the datum for the definition with the given id.

pub fn adt_datum(
    &self,
    adt_id: AdtId<RustInterner<'tcx>>
) -> Arc<AdtDatum<RustInterner<'tcx>>>

Returns the datum for the ADT with the given id.

pub fn adt_repr(&self, adt_id: AdtId<RustInterner<'tcx>>) -> AdtRepr

Returns the representation for the ADT definition with the given id.

pub fn fn_def_datum(
    &self,
    fn_def_id: FnDefId<RustInterner<'tcx>>
) -> Arc<FnDefDatum<RustInterner<'tcx>>>

Returns the datum for the fn definition with the given id.

pub fn impl_datum(
    &self,
    impl_id: ImplId<RustInterner<'tcx>>
) -> Arc<ImplDatum<RustInterner<'tcx>>>

Returns the datum for the impl with the given id.

pub fn impls_for_trait(
    &self,
    trait_id: TraitId<RustInterner<'tcx>>,
    parameters: &[GenericArg<RustInterner<'tcx>>],
    _binders: &CanonicalVarKinds<RustInterner<'tcx>>
) -> Vec<ImplId<RustInterner<'tcx>>>

Returns a list of potentially relevant impls for a given trait-id; we also supply the type parameters that we are trying to match (if known: these parameters may contain inference variables, for example). The implementor is permitted to return any superset of the applicable impls; chalk will narrow down the list to only those that truly apply. The parameters are provided as a "hint" to help the implementor do less work, but can be completely ignored if desired.

pub fn impl_provided_for(
    &self,
    auto_trait_id: TraitId<RustInterner<'tcx>>,
    chalk_ty: &TyKind<RustInterner<'tcx>>
) -> bool

Returns true if there is an explicit impl of the auto trait auto_trait_id for the type ty. This is part of the auto trait handling -- if there is no explicit impl given by the user for ty, then we provide default impls (otherwise, we rely on the impls the user gave).

pub fn associated_ty_value(
    &self,
    associated_ty_id: AssociatedTyValueId<RustInterner<'tcx>>
) -> Arc<AssociatedTyValue<RustInterner<'tcx>>>

Returns the AssociatedTyValue with the given id.

pub fn custom_clauses(&self) -> Vec<ProgramClause<RustInterner<'tcx>>>

Returns any "custom program clauses" that do not derive from Rust IR. Used only in testing the underlying solver.

pub fn local_impls_to_coherence_check(
    &self,
    _trait_id: TraitId<RustInterner<'tcx>>
) -> Vec<ImplId<RustInterner<'tcx>>>

Returns the impls that require coherence checking. This is not the full set of impls that exist:

pub fn opaque_ty_data(
    &self,
    opaque_ty_id: OpaqueTyId<RustInterner<'tcx>>
) -> Arc<OpaqueTyDatum<RustInterner<'tcx>>>

Returns the OpaqueTyDatum with the given id.

pub fn program_clauses_for_env(
    &self,
    environment: &Environment<RustInterner<'tcx>>
) -> ProgramClauses<RustInterner<'tcx>>

Calculates program clauses from an env. This is intended to call the program_clauses_for_env function and then possibly cache the clauses.

pub fn well_known_trait_id(
    &self,
    well_known_trait: WellKnownTrait
) -> Option<TraitId<RustInterner<'tcx>>>

Returns id of a trait lang item, if found

pub fn is_object_safe(&self, trait_id: TraitId<RustInterner<'tcx>>) -> bool

Check if a trait is object safe

pub fn hidden_opaque_type(
    &self,
    _id: OpaqueTyId<RustInterner<'tcx>>
) -> Ty<RustInterner<'tcx>>

Returns the "hidden type" corresponding with the opaque type.

pub fn closure_kind(
    &self,
    _closure_id: ClosureId<RustInterner<'tcx>>,
    substs: &Substitution<RustInterner<'tcx>>
) -> ClosureKind

Gets the ClosureKind for a given closure and substitution.

pub fn closure_inputs_and_output(
    &self,
    _closure_id: ClosureId<RustInterner<'tcx>>,
    substs: &Substitution<RustInterner<'tcx>>
) -> Binders<FnDefInputsAndOutputDatum<RustInterner<'tcx>>>

Gets the inputs and output for a given closure id and substitution. We pass both the ClosureId and it's Substituion to give implementors the freedom to store associated data in the substitution (like rustc) or separately (like chalk-integration).

pub fn closure_upvars(
    &self,
    _closure_id: ClosureId<RustInterner<'tcx>>,
    substs: &Substitution<RustInterner<'tcx>>
) -> Binders<Ty<RustInterner<'tcx>>>

Gets the upvars as a Ty for a given closure id and substitution. There are no restrictions on the type of upvars.

pub fn closure_fn_substitution(
    &self,
    _closure_id: ClosureId<RustInterner<'tcx>>,
    substs: &Substitution<RustInterner<'tcx>>
) -> Substitution<RustInterner<'tcx>>

Gets the substitution for the closure when used as a function. For example, for the following (not-quite-)rust code:

pub fn generator_datum(
    &self,
    _generator_id: GeneratorId<RustInterner<'tcx>>
) -> Arc<GeneratorDatum<RustInterner<'tcx>>>

Returns the generator datum for the generator with the given id.

pub fn generator_witness_datum(
    &self,
    _generator_id: GeneratorId<RustInterner<'tcx>>
) -> Arc<GeneratorWitnessDatum<RustInterner<'tcx>>>

Returns the generator witness datum for the generator with the given id.

pub fn trait_name(&self, trait_id: TraitId<I>) -> String

Retrieves a trait's original name. No uniqueness guarantees, but must a valid Rust identifier.

pub fn adt_name(&self, adt_id: AdtId<I>) -> String

Retrieves a struct's original name. No uniqueness guarantees, but must a valid Rust identifier.

pub fn assoc_type_name(&self, assoc_ty_id: AssocTypeId<I>) -> String

Retrieves the name of an associated type. No uniqueness guarantees, but must a valid Rust identifier.

pub fn opaque_type_name(&self, opaque_ty_id: OpaqueTyId<I>) -> String

Retrieves the name of an opaque type. No uniqueness guarantees, but must a valid Rust identifier.

pub fn fn_def_name(&self, fn_def_id: FnDefId<I>) -> String

Retrieves the name of a function definition. No uniqueness guarantees, but must a valid Rust identifier.