Struct rustc_traits::chalk::db::RustIrDatabase

pub struct RustIrDatabase<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub interner: RustInterner<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

interner: RustInterner<'tcx>

Trait Implementations

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

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

Formats the value using the given formatter.

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

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

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.

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

Returns the datum for the definition with the given id.

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

Returns the datum for the impl with the given id.

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

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

Returns the datum for the impl with the given id.

fn impls_for_trait(
    &self,
    trait_id: TraitId<RustInterner<'tcx>>,
    parameters: &[GenericArg<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.

fn impl_provided_for(
    &self,
    auto_trait_id: TraitId<RustInterner<'tcx>>,
    adt_id: AdtId<RustInterner<'tcx>>
) -> bool

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

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

Returns the AssociatedTyValue with the given id.

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.

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:

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

Returns the OpaqueTyDatum with the given id.

fn force_impl_for(
    &self,
    well_known: WellKnownTrait,
    ty: &TyData<RustInterner<'tcx>>
) -> Option<bool>

Since Chalk can't handle all Rust types currently, we have to handle some specially for now. Over time, these Some returns will change to None and eventually this function will be removed.

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.

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

Returns id of a trait lang item, if found

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

Check if a trait is object safe

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

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

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

Gets the ClosureKind for a given closure and substitution.

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).

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.

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: ignore let foo = |a: &mut u32| { a += 1; }; let c: &'a u32 = &0; foo(c);