@@ -1662,7 +1662,7 @@ fn check_for_mutation(
1662
1662
} ;
1663
1663
let def_id = def_id:: DefId :: local ( body. hir_id . owner ) ;
1664
1664
let region_scope_tree = & cx. tcx . region_scope_tree ( def_id) ;
1665
- ExprUseVisitor :: new ( & mut delegate, cx. tcx , cx. param_env , region_scope_tree, cx. tables , None ) . walk_expr ( body) ;
1665
+ ExprUseVisitor :: new ( & mut delegate, cx. tcx , def_id , cx. param_env , region_scope_tree, cx. tables , None ) . walk_expr ( body) ;
1666
1666
delegate. mutation_span ( )
1667
1667
}
1668
1668
@@ -1769,7 +1769,7 @@ impl<'a, 'tcx> VarVisitor<'a, 'tcx> {
1769
1769
}
1770
1770
let res = self . cx. tables. qpath_res( seqpath, seqexpr. hir_id) ;
1771
1771
match res {
1772
- Res :: Local ( hir_id) | Res :: Upvar ( hir_id , .. ) => {
1772
+ Res :: Local ( hir_id) => {
1773
1773
let parent_id = self . cx. tcx. hir( ) . get_parent_item( expr. hir_id) ;
1774
1774
let parent_def_id = self . cx. tcx. hir( ) . local_def_id_from_hir_id( parent_id) ;
1775
1775
let extent = self . cx. tcx. region_scope_tree( parent_def_id) . var_scope( hir_id. local_id) ;
@@ -1829,24 +1829,13 @@ impl<'a, 'tcx> Visitor<'tcx> for VarVisitor<'a, 'tcx> {
1829
1829
if let QPath :: Resolved ( None , ref path) = * qpath;
1830
1830
if path. segments. len( ) == 1 ;
1831
1831
then {
1832
- match self . cx. tables. qpath_res( qpath, expr. hir_id) {
1833
- Res :: Upvar ( local_id, ..) => {
1834
- if local_id == self . var {
1835
- // we are not indexing anything, record that
1836
- self . nonindex = true ;
1837
- }
1838
- }
1839
- Res :: Local ( local_id) =>
1840
- {
1841
-
1842
- if local_id == self . var {
1843
- self . nonindex = true ;
1844
- } else {
1845
- // not the correct variable, but still a variable
1846
- self . referenced. insert( path. segments[ 0 ] . ident. name) ;
1847
- }
1832
+ if let Res :: Local ( local_id) = self . cx. tables. qpath_res( qpath, expr. hir_id) {
1833
+ if local_id == self . var {
1834
+ self . nonindex = true ;
1835
+ } else {
1836
+ // not the correct variable, but still a variable
1837
+ self . referenced. insert( path. segments[ 0 ] . ident. name) ;
1848
1838
}
1849
- _ => { }
1850
1839
}
1851
1840
}
1852
1841
}
@@ -2378,7 +2367,7 @@ impl<'a, 'tcx> VarCollectorVisitor<'a, 'tcx> {
2378
2367
let res = self . cx. tables. qpath_res( qpath, ex. hir_id) ;
2379
2368
then {
2380
2369
match res {
2381
- Res :: Local ( node_id) | Res :: Upvar ( node_id , .. ) => {
2370
+ Res :: Local ( node_id) => {
2382
2371
self . ids. insert( node_id) ;
2383
2372
} ,
2384
2373
Res :: Def ( DefKind :: Static , def_id) => {
0 commit comments