diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-03-20 12:52:36 -0400 |
|---|---|---|
| committer | scalexm <alexandre@scalexm.fr> | 2019-03-20 20:17:17 +0100 |
| commit | ca5a2122cc68fa14e72f1631ee5e9bbf2ac9c94f (patch) | |
| tree | 6ec2b34e48bfb1bf7de3b34a2ff18c2ac80fce99 | |
| parent | 0cb7926e05a1bb53f7db49e9a989c27155152b41 (diff) | |
| download | rust-ca5a2122cc68fa14e72f1631ee5e9bbf2ac9c94f.tar.gz rust-ca5a2122cc68fa14e72f1631ee5e9bbf2ac9c94f.zip | |
expand the fixme
| -rw-r--r-- | src/librustc/infer/nll_relate/mod.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/librustc/infer/nll_relate/mod.rs b/src/librustc/infer/nll_relate/mod.rs index 735dcffc6d1..d8e7328c274 100644 --- a/src/librustc/infer/nll_relate/mod.rs +++ b/src/librustc/infer/nll_relate/mod.rs @@ -322,7 +322,10 @@ where let vid = pair.vid(); let value_ty = pair.value_ty(); - // FIXME -- this logic assumes invariance, but that is wrong + // FIXME -- this logic assumes invariance, but that is wrong. + // This only presently applies to chalk integration, as NLL + // doesn't permit type variables to appear on both sides (and + // doesn't use lazy norm). match value_ty.sty { ty::Infer(ty::TyVar(value_vid)) => { // Two type variables: just equate them. |