Mar 27, 2023 · Mar 20, 2023 · Mar 25, 2023 · Mar 25, 2023 · Mar 27, 2023 · Mar 27, 2023
diff --git a/compiler/rustc_trait_selection/src/solve/mod.rs b/compiler/rustc_trait_selection/src/solve/mod.rs
 //! FIXME(@lcnr): Write that section. If you read this before then ask me
 //! about it on zulip.

 // FIXME: uses of `infcx.at` need to enable deferred projection equality once that's implemented.

 use rustc_hir::def_id::DefId;
 use rustc_infer::infer::canonical::{Canonical, CanonicalVarValues};
 use rustc_infer::traits::query::NoSolution;
        goal: Goal<'tcx, SubtypePredicate<'tcx>>,
    ) -> QueryResult<'tcx> {
        if goal.predicate.a.is_ty_var() && goal.predicate.b.is_ty_var() {
            // FIXME: Do we want to register a subtype relation between these vars?
            // That won't actually reflect in the query response, so it seems moot.
            self.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS)
        } else {
            self.sub(goal.param_env, goal.predicate.a, goal.predicate.b)?;
diff --git a/compiler/rustc_trait_selection/src/solve/search_graph/mod.rs b/compiler/rustc_trait_selection/src/solve/search_graph/mod.rs
        tcx: TyCtxt<'tcx>,
        goal: CanonicalGoal<'tcx>,
    ) -> Result<(), QueryResult<'tcx>> {
        // FIXME: start by checking the global cache

        // Look at the provisional cache to check for cycles.
        let cache = &mut self.provisional_cache;
        match cache.lookup_table.entry(goal) {
Original file line number	Diff line number	Diff line change
Expand Up		@@ -9,8 +9,6 @@
		//! FIXME(@lcnr): Write that section. If you read this before then ask me
		//! about it on zulip.

		// FIXME: uses of `infcx.at` need to enable deferred projection equality once that's implemented.

		use rustc_hir::def_id::DefId;
		use rustc_infer::infer::canonical::{Canonical, CanonicalVarValues};
		use rustc_infer::traits::query::NoSolution;
Expand DownExpand Up		@@ -105,8 +103,6 @@ impl<'a, 'tcx> EvalCtxt<'a, 'tcx> {
		goal: Goal<'tcx, SubtypePredicate<'tcx>>,
		) -> QueryResult<'tcx> {
		if goal.predicate.a.is_ty_var() && goal.predicate.b.is_ty_var() {
		// FIXME: Do we want to register a subtype relation between these vars?
		// That won't actually reflect in the query response, so it seems moot.
		self.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS)
		} else {
		self.sub(goal.param_env, goal.predicate.a, goal.predicate.b)?;
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -78,8 +78,6 @@ impl<'tcx> SearchGraph<'tcx> {
		tcx: TyCtxt<'tcx>,
		goal: CanonicalGoal<'tcx>,
		) -> Result<(), QueryResult<'tcx>> {
		// FIXME: start by checking the global cache

		// Look at the provisional cache to check for cycles.
		let cache = &mut self.provisional_cache;
		match cache.lookup_table.entry(goal) {
Expand Down