add fixme

Author: lcnr

compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs

@@ -171,6 +171,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                 if fn_sig.has_escaping_bound_vars() {
                     return fn_sig;
                 }
+                // We explicitly assert that value does not contain inference variables,
+                // so this definitely does not leak inference variables.
                 self.probe(|_| {
                     let ocx = ObligationCtxt::new(self);
                     let normalized_fn_sig =

compiler/rustc_hir_typeck/src/method/mod.rs

@@ -44,7 +44,7 @@ pub struct MethodCallee<'tcx> {
     pub sig: ty::FnSig<'tcx>,
 }
 
-// FIXME: This is wrong, method error may leak inference vars.
+// FIXME(#122188): This is wrong, as this type may leak inference vars.
 trivial_no_snapshot_leaks!('tcx, MethodError<'tcx>);
 #[derive(Debug)]
 pub enum MethodError<'tcx> {

compiler/rustc_hir_typeck/src/method/probe.rs

@@ -99,7 +99,7 @@ impl<'a, 'tcx> Deref for ProbeContext<'a, 'tcx> {
     }
 }
 
-// FIXME: This is wrong as this type may leak inference variables.`
+// FIXME(#122188): This is wrong as this type may leak inference variables.`
 trivial_no_snapshot_leaks!('tcx, Candidate<'tcx>);
 #[derive(Debug, Clone)]
 pub(crate) struct Candidate<'tcx> {
@@ -200,7 +200,7 @@ impl AutorefOrPtrAdjustment {
     }
 }
 
-// FIXME: This is wrong as this type may leak inference variables.`
+// FIXME(#122188): This is wrong as this type may leak inference variables.`
 trivial_no_snapshot_leaks!('tcx, Pick<'tcx>);
 #[derive(Debug, Clone)]
 pub struct Pick<'tcx> {

compiler/rustc_infer/src/infer/snapshot/mod.rs

@@ -337,7 +337,7 @@ mod impls {
     trivial_no_snapshot_leaks!('tcx, NoSolution);
     trivial_no_snapshot_leaks!('tcx, Vec<(CanonicalResponse<'tcx>, BuiltinImplSource)>);
     trivial_no_snapshot_leaks!('tcx, (bool, Certainty));
-    // FIXME: This is wrong, this can leak inference vars in `opt_bad_ty` and `steps`.
+    // FIXME(#122188): This is wrong, this can leak inference vars in `opt_bad_ty` and `steps`.
     trivial_no_snapshot_leaks!('tcx, MethodAutoderefStepsResult<'tcx>);
     fudge_vars_no_snapshot_leaks!('tcx, TypeError<'tcx>);
     fudge_vars_no_snapshot_leaks!('tcx, MismatchedProjectionTypes<'tcx>);