Add a FIXME relating to these type-testing traits

This commit is contained in:
Niko Matsakis 2014-12-29 11:06:15 -05:00
parent f1c041a54d
commit c197911c60

View File

@ -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.