mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tag issues with FIXME

Browse Source
This commit is contained in:
Niko Matsakis 2021-07-04 12:50:28 -04:00
parent 86a5a6520d
commit 63fbefd359
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_middle/src/ty/util.rs
View File

@ -817,7 +817,7 @@ impl<'tcx> ty::TyS<'tcx> {
_ => self,
};
// FIXME: We should be canonicalizing, or else moving this to a method of inference
// FIXME(#86868): We should be canonicalizing, or else moving this to a method of inference
// context, or *something* like that, but for now just avoid passing inference
// variables to queries that can't cope with them. Instead, conservatively
// return "true" (may change drop order).

2
compiler/rustc_trait_selection/src/traits/mod.rs
View File

@ -561,7 +561,7 @@ fn type_implements_trait<'tcx>(
let trait_ref = ty::TraitRef { def_id: trait_def_id, substs: tcx.mk_substs_trait(ty, params) };
// FIXME: If there are inference variables anywhere, just give up and assume
// FIXME(#86868): If there are inference variables anywhere, just give up and assume
// we don't know the answer. This works around the ICEs that would result from
// using those inference variables within the `infer_ctxt` we create below.
// Really we should be using canonicalized variables, or perhaps removing