From ca5a2122cc68fa14e72f1631ee5e9bbf2ac9c94f Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 20 Mar 2019 12:52:36 -0400 Subject: [PATCH] expand the fixme --- src/librustc/infer/nll_relate/mod.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/librustc/infer/nll_relate/mod.rs b/src/librustc/infer/nll_relate/mod.rs index 735dcffc6d16..d8e7328c274b 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.