about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2018-09-10 11:03:11 -0400
committerNiko Matsakis <niko@alum.mit.edu>2018-09-10 11:03:11 -0400
commit2b6f9664ed7b648c0cccb04f6c67629b167ff11c (patch)
tree4252c36bc126da6b5476cda3927930b796bafe39
parente87bf30f5f9f42994ac646ec9b3d884833fe73be (diff)
add link to https://github.com/rust-lang/rust/issues/54105
-rw-r--r--src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs b/src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs
index ab0c91aafd1..06cb44ac971 100644
--- a/src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs
+++ b/src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs
@@ -695,9 +695,9 @@ impl TypeRelation<'me, 'gcx, 'tcx> for TypeGeneralizer<'me, 'bbcx, 'gcx, 'tcx> {
         // `self.universe` universe, this also serves to enforce the
         // universe scoping rules.
         //
-        // FIXME -- if the ambient variance is bivariant, though, we
-        // may however need to check well-formedness or risk a problem
-        // like #41677 again.
+        // FIXME(#54105) -- if the ambient variance is bivariant,
+        // though, we may however need to check well-formedness or
+        // risk a problem like #41677 again.
 
         let replacement_region_vid = self.type_rel
             .infcx