Add a FIXME relating to these type-testing traits

nikomatsakis · nikomatsakis · commit b18b67dfc3a9 · 2014-12-29T12:54:39.000-05:00
diff --git a/src/librustc/middle/ty.rs b/src/librustc/middle/ty.rs
@@ -6880,8 +6880,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.
 

Original file line number	Diff line number	Diff line change
`@@ -6880,8 +6880,8 @@ pub fn can_type_implement_copy<'tcx>(tcx: &ctxt<'tcx>,`
`6880`	`6880`	`Ok(())`
`6881`	`6881`	`}`
`6882`	`6882`
`6883`		`-// TODO -- all of these types basically walk various structures to`
`6884`		`-// test whether types/regions are reachable with various`
	`6883`	`+// FIXME(#20298) -- all of these types basically walk various`
	`6884`	`+// structures to test whether types/regions are reachable with various`
`6885`	`6885`	`// properties. It should be possible to express them in terms of one`
`6886`	`6886`	`// common "walker" trait or something.`
`6887`	`6887`