Struct rustc_traits::chalk_context::ChalkInferenceContext

pub(crate) struct ChalkInferenceContext<'cx, 'gcx: 'tcx, 'tcx: 'cx> {
    infcx: &'cx InferCtxt<'cx, 'gcx, 'tcx>,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Fields

infcx: &'cx InferCtxt<'cx, 'gcx, 'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Trait Implementations

impl<'cx, 'gcx: 'tcx, 'tcx: 'cx> Copy for ChalkInferenceContext<'cx, 'gcx, 'tcx>

impl<'cx, 'gcx: 'tcx, 'tcx: 'cx> Clone for ChalkInferenceContext<'cx, 'gcx, 'tcx>

fn clone(&self) -> ChalkInferenceContext<'cx, 'gcx, 'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'gcx, 'tcx, 'cx> InferenceTable<ChalkArenas<'gcx>, ChalkArenas<'tcx>> for ChalkInferenceContext<'cx, 'gcx, 'tcx>

fn into_hh_goal(&mut self, goal: Goal<'tcx>) -> HhGoal<ChalkArenas<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Convert the context's goal type into the HhGoal type that the SLG solver understands. The expectation is that the context's goal type has the same set of variants, but with different names and a different setup. If you inspect HhGoal, you will see that this is a "shallow" or "lazy" conversion -- that is, we convert the outermost goal into an HhGoal, but the goals contained within are left as context goals.

fn add_clauses(     &mut self,     _env: &ParamEnv<'tcx>,     _clauses: Vec<ProgramClause<'tcx>> ) -> ParamEnv<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'gcx, 'tcx, 'cx> ResolventOps<ChalkArenas<'gcx>, ChalkArenas<'tcx>> for ChalkInferenceContext<'cx, 'gcx, 'tcx>

fn resolvent_clause(     &mut self,     _environment: &ParamEnv<'tcx>,     _goal: &DomainGoal<'tcx>,     _subst: &CanonicalVarValues<'tcx>,     _clause: &ProgramClause<'tcx> ) -> Fallible<Canonical<'gcx, ExClause<ChalkArenas<'gcx>>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Combines the goal (instantiated within infer) with the given program clause to yield the start of a new strand (a canonical ex-clause).

fn apply_answer_subst(     &mut self,     _ex_clause: ExClause<ChalkArenas<'tcx>>,     _selected_goal: &ParamEnvAnd<'tcx, Goal<'tcx>>,     _answer_table_goal: &Canonical<'gcx, ParamEnvAnd<'gcx, Goal<'gcx>>>,     _canonical_answer_subst: &Canonical<'gcx, ConstrainedSubst<'gcx>> ) -> Fallible<ExClause<ChalkArenas<'tcx>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'gcx, 'tcx, 'cx> TruncateOps<ChalkArenas<'gcx>, ChalkArenas<'tcx>> for ChalkInferenceContext<'cx, 'gcx, 'tcx>

fn truncate_goal(     &mut self,     subgoal: &ParamEnvAnd<'tcx, Goal<'tcx>> ) -> Option<ParamEnvAnd<'tcx, Goal<'tcx>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

If subgoal is too large, return a truncated variant (else return None).

fn truncate_answer(     &mut self,     subst: &CanonicalVarValues<'tcx> ) -> Option<CanonicalVarValues<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

If subst is too large, return a truncated variant (else return None).

impl<'gcx, 'tcx, 'cx> UnificationOps<ChalkArenas<'gcx>, ChalkArenas<'tcx>> for ChalkInferenceContext<'cx, 'gcx, 'tcx>

fn program_clauses(     &self,     _environment: &ParamEnv<'tcx>,     goal: &DomainGoal<'tcx> ) -> Vec<ProgramClause<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Returns the set of program clauses that might apply to goal. (This set can be over-approximated, naturally.)

fn instantiate_binders_universally(     &mut self,     _arg: &Binder<&'tcx Goal<'tcx>> ) -> Goal<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn instantiate_binders_existentially(     &mut self,     arg: &Binder<&'tcx Goal<'tcx>> ) -> Goal<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn debug_ex_clause<'v>(     &mut self,     value: &'v ExClause<ChalkArenas<'tcx>> ) -> Box<Debug + 'v>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn canonicalize_goal(     &mut self,     value: &ParamEnvAnd<'tcx, Goal<'tcx>> ) -> Canonical<'gcx, ParamEnvAnd<'gcx, Goal<'gcx>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn canonicalize_ex_clause(     &mut self,     value: &ExClause<ChalkArenas<'tcx>> ) -> Canonical<'gcx, ExClause<ChalkArenas<'gcx>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn canonicalize_constrained_subst(     &mut self,     subst: CanonicalVarValues<'tcx>,     constraints: Vec<QueryRegionConstraint<'tcx>> ) -> Canonical<'gcx, ConstrainedSubst<'gcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn u_canonicalize_goal(     &mut self,     value: &Canonical<'gcx, ParamEnvAnd<'gcx, Goal<'gcx>>> ) -> (Canonical<'gcx, ParamEnvAnd<'gcx, Goal<'gcx>>>, UniverseMap)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn invert_goal(     &mut self,     _value: &ParamEnvAnd<'tcx, Goal<'tcx>> ) -> Option<ParamEnvAnd<'tcx, Goal<'tcx>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn unify_parameters(     &mut self,     _environment: &ParamEnv<'tcx>,     _a: &Kind<'tcx>,     _b: &Kind<'tcx> ) -> ChalkEngineFallible<InferOk<'tcx, ()>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn sink_answer_subset(     &self,     value: &Canonical<'gcx, ConstrainedSubst<'gcx>> ) -> Canonical<'tcx, ConstrainedSubst<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn lift_delayed_literal(     &self,     _value: DelayedLiteral<ChalkArenas<'tcx>> ) -> DelayedLiteral<ChalkArenas<'gcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn into_ex_clause(     &mut self,     _result: InferOk<'tcx, ()>,     _ex_clause: &mut ExClause<ChalkArenas<'tcx>> )

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Add the residual subgoals as new subgoals of the ex-clause. Also add region constraints.

impl<'cx, 'gcx, 'tcx> Debug for ChalkInferenceContext<'cx, 'gcx, 'tcx>

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

Formats the value using the given formatter.