From d1033d06bae530881415bda6972c5c8a16d07ade Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Mon, 3 Apr 2017 15:59:34 -0400
Subject: [PATCH] add FIXME to #18653

---
 src/librustc/infer/combine.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/librustc/infer/combine.rs b/src/librustc/infer/combine.rs
index 825f279e78e..a23589e7f3f 100644
--- a/src/librustc/infer/combine.rs
+++ b/src/librustc/infer/combine.rs
@@ -224,6 +224,9 @@ impl<'infcx, 'gcx, 'tcx> CombineFields<'infcx, 'gcx, 'tcx> {
             // 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: