diff options
| -rw-r--r-- | src/librustc/infer/combine.rs | 3 |
1 files changed, 3 insertions, 0 deletions
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: |