add FIXME to #18653

diff --git a/src/librustc/infer/combine.rs b/src/librustc/infer/combine.rs
index 825f279e78e4b0968fd0b865d247504edcbac5bd..a23589e7f3f792b4adfadb493578e683e87b6f06 100644 (file)
--- a/src/librustc/infer/combine.rs
+++ b/src/librustc/infer/combine.rs
@@ -224,6 +224,9 @@ pub fn instantiate(&mut self,
             // Check whether `vid` has been instantiated yet.  If not,
             // make a generalized form of `ty` and instantiate with
             // that.
+            //
+            // FIXME(#18653) -- we need to generalize nested type
+            // variables too.
             let b_ty = match b_ty {
                 Some(t) => t, // ...already instantiated.
                 None => {     // ...not yet instantiated: