add fixme

lcnr · lcnr · commit f65e7437488e · 2024-02-17T00:26:57.000+01:00
diff --git a/compiler/rustc_infer/src/infer/relate/generalize.rs b/compiler/rustc_infer/src/infer/relate/generalize.rs
@@ -451,6 +451,9 @@ where
                 }
             }
             ty::ConstKind::Infer(InferConst::EffectVar(_)) => Ok(c),
+            // FIXME: Unevaluated constants are also not rigid, so the current
+            // approach of always relating them structurally is incomplete.
+            //
             // FIXME: remove this branch once `structurally_relate_consts` is fully
             // structural.
             ty::ConstKind::Unevaluated(ty::UnevaluatedConst { def, args }) => {

Original file line number	Diff line number	Diff line change
`@@ -451,6 +451,9 @@ where`
`451`	`451`	`}`
`452`	`452`	`}`
`453`	`453`	`ty::ConstKind::Infer(InferConst::EffectVar(_)) => Ok(c),`
	`454`	`+ // FIXME: Unevaluated constants are also not rigid, so the current`
	`455`	`+ // approach of always relating them structurally is incomplete.`
	`456`	`+ //`
`454`	`457`	// FIXME: remove this branch once `structurally_relate_consts` is fully
`455`	`458`	`// structural.`
`456`	`459`	`ty::ConstKind::Unevaluated(ty::UnevaluatedConst { def, args }) => {`