user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

don't consider assignments to temporaries "interesting"

Browse source
This commit is contained in:
Niko Matsakis 2018-06-05 06:13:28 -04:00 • committed by David Wood
parent 0b620186fd
commit 9e2157fdca
No known key found for this signature in database
GPG key ID: 01760B4F9F53F154
1 changed files with 13 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/librustc_mir/borrow_check/nll/type_check/mod.rs
View file

@ -798,9 +798,21 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
let tcx = self.tcx();
match stmt.kind {
StatementKind::Assign(ref place, ref rv) => {
// Assignments to temporaries are not "interesting";
// they are not caused by the user, but rather artifacts
// of lowering. Assignments to other sorts of places *are* interesting
// though.
let is_temp = if let Place::Local(l) = place {
!mir.local_decls[*l].is_user_variable.is_some()
} else {
false
};
let locations = if is_temp { location.boring() } else { location.interesting() };
let place_ty = place.ty(mir, tcx).to_ty(tcx);
let rv_ty = rv.ty(mir, tcx);
if let Err(terr) = self.sub_types(rv_ty, place_ty, location.interesting()) {
if let Err(terr) = self.sub_types(rv_ty, place_ty, locations) {
span_mirbug!(
self,
stmt,