squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

expand the fixme

Browse source
This commit is contained in:
Niko Matsakis 2019-03-20 12:52:36 -04:00 committed by scalexm
parent 0cb7926e05
commit ca5a2122cc
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/librustc/infer/nll_relate/mod.rs
View file

@ -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.