From c197911c60ce7eaea53ecb357d0409d3e38ff914 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Mon, 29 Dec 2014 11:06:15 -0500
Subject: [PATCH] Add a FIXME relating to these type-testing traits

---
 src/librustc/middle/ty.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/librustc/middle/ty.rs b/src/librustc/middle/ty.rs
index 583d2ce3b67..0f3037c06fd 100644
--- a/src/librustc/middle/ty.rs
+++ b/src/librustc/middle/ty.rs
@@ -6876,8 +6876,8 @@ pub fn can_type_implement_copy<'tcx>(tcx: &ctxt<'tcx>,
     Ok(())
 }
 
-// TODO -- all of these types basically walk various structures to
-// test whether types/regions are reachable with various
+// FIXME(#20298) -- all of these types basically walk various
+// structures to test whether types/regions are reachable with various
 // properties. It should be possible to express them in terms of one
 // common "walker" trait or something.