diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2017-04-03 15:59:34 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-04-11 20:32:47 -0400 |
| commit | d1033d06bae530881415bda6972c5c8a16d07ade (patch) | |
| tree | b7d46575b881ee16baf1d1f2a3215e510f899bdb | |
| parent | e4b762b532f037d07be282d413c7a864e182b3fc (diff) | |
| download | rust-d1033d06bae530881415bda6972c5c8a16d07ade.tar.gz rust-d1033d06bae530881415bda6972c5c8a16d07ade.zip | |
add FIXME to #18653
| -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: |