diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs
index 6ef8404cf079a..bdf1c4645c0ed 100644
--- a/src/librustc/middle/traits/fulfill.rs
+++ b/src/librustc/middle/traits/fulfill.rs
@@ -320,7 +320,7 @@ fn process_predicate<'a,'tcx>(selcx: &mut SelectionContext<'a,'tcx>,
 {
     match process_predicate1(selcx, pending_obligation, backtrace, region_obligations) {
         Ok(Some(v)) => {
-            // FIXME the right thing to do here, I think, is to permit
+            // FIXME(#30977) the right thing to do here, I think, is to permit
             // DAGs. That is, we should detect whenever this predicate
             // has appeared somewhere in the current tree./ If it's a
             // parent, that's a cycle, and we should either error out