Commit53ec4bc

committed

Remove some stale FIXMEs in new solver

1 parentf421586 commit53ec4bcCopy full SHA for 53ec4bc

File tree

-6

lines changed

-6

lines changed

Lines changed: 0 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -9,8 +9,6 @@`
`9`	`9`	`//! FIXME(@lcnr): Write that section. If you read this before then ask me`
`10`	`10`	`//! about it on zulip.`
`11`	`11`
`12`		-// FIXME: uses of `infcx.at` need to enable deferred projection equality once that's implemented.
`13`		`-`
`14`	`12`	`use rustc_hir::def_id::DefId;`
`15`	`13`	`use rustc_infer::infer::canonical::{Canonical,CanonicalVarValues};`
`16`	`14`	`use rustc_infer::traits::query::NoSolution;`
`@@ -105,8 +103,6 @@ impl<'a, 'tcx> EvalCtxt<'a, 'tcx> {`
`105`	`103`	`goal:Goal<'tcx,SubtypePredicate<'tcx>>,`
`106`	`104`	`) ->QueryResult<'tcx>{`
`107`	`105`	`if goal.predicate.a.is_ty_var() && goal.predicate.b.is_ty_var(){`
`108`		`-// FIXME: Do we want to register a subtype relation between these vars?`
`109`		`-// That won't actually reflect in the query response, so it seems moot.`
`110`	`106`	`self.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS)`
`111`	`107`	`}else{`
`112`	`108`	`self.sub(goal.param_env, goal.predicate.a, goal.predicate.b)?;`

Lines changed: 0 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -78,8 +78,6 @@ impl<'tcx> SearchGraph<'tcx> {`
`78`	`78`	`tcx:TyCtxt<'tcx>,`
`79`	`79`	`goal:CanonicalGoal<'tcx>,`
`80`	`80`	`) ->Result<(),QueryResult<'tcx>>{`
`81`		`-// FIXME: start by checking the global cache`
`82`		`-`
`83`	`81`	`// Look at the provisional cache to check for cycles.`
`84`	`82`	`let cache =&mutself.provisional_cache;`
`85`	`83`	`match cache.lookup_table.entry(goal){`

Comments

(0)