diff --git a/compiler/rustc_middle/src/ty/util.rs b/compiler/rustc_middle/src/ty/util.rs
index f0cff0e9247..0a158423dc4 100644
--- a/compiler/rustc_middle/src/ty/util.rs
+++ b/compiler/rustc_middle/src/ty/util.rs
@@ -817,7 +817,7 @@ impl<'tcx> ty::TyS<'tcx> {
                     _ => self,
                 };
 
-                // FIXME: We should be canonicalizing, or else moving this to a method of inference
+                // FIXME(#86868): We should be canonicalizing, or else moving this to a method of inference
                 // context, or *something* like that, but for now just avoid passing inference
                 // variables to queries that can't cope with them. Instead, conservatively
                 // return "true" (may change drop order).
diff --git a/compiler/rustc_trait_selection/src/traits/mod.rs b/compiler/rustc_trait_selection/src/traits/mod.rs
index c5c1da2d2c0..e48aab6f46f 100644
--- a/compiler/rustc_trait_selection/src/traits/mod.rs
+++ b/compiler/rustc_trait_selection/src/traits/mod.rs
@@ -561,7 +561,7 @@ fn type_implements_trait<'tcx>(
 
     let trait_ref = ty::TraitRef { def_id: trait_def_id, substs: tcx.mk_substs_trait(ty, params) };
 
-    // FIXME: If there are inference variables anywhere, just give up and assume
+    // FIXME(#86868): If there are inference variables anywhere, just give up and assume
     // we don't know the answer. This works around the ICEs that would result from
     // using those inference variables within the `infer_ctxt` we create below.
     // Really we should be using canonicalized variables, or perhaps removing