From ac50f4b5719921b139161c298f81d43367ccd127 Mon Sep 17 00:00:00 2001 From: lcnr Date: Fri, 8 Dec 2023 02:16:29 +0100 Subject: [PATCH] update fixme --- compiler/rustc_infer/src/infer/combine.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/compiler/rustc_infer/src/infer/combine.rs b/compiler/rustc_infer/src/infer/combine.rs index cfd53fc71eb..bab21bc237a 100644 --- a/compiler/rustc_infer/src/infer/combine.rs +++ b/compiler/rustc_infer/src/infer/combine.rs @@ -512,10 +512,9 @@ pub fn instantiate( } else { match a_ty.kind() { &ty::Alias(ty::AliasKind::Projection, data) => { - // FIXME: This does not handle subtyping correctly, we should switch to - // alias-relate in the new solver and could instead create a new inference - // variable for `a_ty`, emitting `Projection(a_ty, a_infer)` and - // `a_infer <: b_ty`. + // FIXME: This does not handle subtyping correctly, we could + // instead create a new inference variable for `a_ty`, emitting + // `Projection(a_ty, a_infer)` and `a_infer <: b_ty`. self.obligations.push(Obligation::new( self.tcx(), self.trace.cause.clone(),