@@ -1000,6 +1000,8 @@ impl<'tcx, Cx: TypeInformationCtxt<'tcx>, D: Delegate<'tcx>> ExprUseVisitor<'tcx
1000
1000
// determines whether to borrow *at the level of the deref pattern* rather than
1001
1001
// borrowing the bound place (since that inner place is inside the temporary that
1002
1002
// stores the result of calling `deref()`/`deref_mut()` so can't be captured).
1003
+ // HACK: this could be a fake pattern corresponding to a deref inserted by match
1004
+ // ergonomics, in which case `pat.hir_id` will be the id of the subpattern.
1003
1005
let mutable = self . cx . typeck_results ( ) . pat_has_ref_mut_binding ( subpattern) ;
1004
1006
let mutability =
1005
1007
if mutable { hir:: Mutability :: Mut } else { hir:: Mutability :: Not } ;
@@ -1227,9 +1229,9 @@ impl<'tcx, Cx: TypeInformationCtxt<'tcx>, D: Delegate<'tcx>> ExprUseVisitor<'tcx
1227
1229
// actually this is somewhat "disjoint" from the code below
1228
1230
// that aims to account for `ref x`.
1229
1231
if let Some ( vec) = self . cx . typeck_results ( ) . pat_adjustments ( ) . get ( pat. hir_id ) {
1230
- if let Some ( first_ty ) = vec. first ( ) {
1231
- debug ! ( "pat_ty(pat={:?}) found adjusted ty `{:?}`" , pat, first_ty ) ;
1232
- return Ok ( * first_ty ) ;
1232
+ if let Some ( first_adjust ) = vec. first ( ) {
1233
+ debug ! ( "pat_ty(pat={:?}) found adjustment `{:?}`" , pat, first_adjust ) ;
1234
+ return Ok ( first_adjust . source ) ;
1233
1235
}
1234
1236
} else if let PatKind :: Ref ( subpat, _) = pat. kind
1235
1237
&& self . cx . typeck_results ( ) . skipped_ref_pats ( ) . contains ( pat. hir_id )
@@ -1675,12 +1677,31 @@ impl<'tcx, Cx: TypeInformationCtxt<'tcx>, D: Delegate<'tcx>> ExprUseVisitor<'tcx
1675
1677
// Then we see that to get the same result, we must start with
1676
1678
// `deref { deref { place_foo }}` instead of `place_foo` since the pattern is now `Some(x,)`
1677
1679
// and not `&&Some(x,)`, even though its assigned type is that of `&&Some(x,)`.
1678
- for _ in
1679
- 0 ..self . cx . typeck_results ( ) . pat_adjustments ( ) . get ( pat. hir_id ) . map_or ( 0 , |v| v. len ( ) )
1680
- {
1680
+ let typeck_results = self . cx . typeck_results ( ) ;
1681
+ let adjustments: & [ adjustment:: PatAdjustment < ' tcx > ] =
1682
+ typeck_results. pat_adjustments ( ) . get ( pat. hir_id ) . map_or ( & [ ] , |v| & * * v) ;
1683
+ let mut adjusts = adjustments. iter ( ) . peekable ( ) ;
1684
+ while let Some ( adjust) = adjusts. next ( ) {
1681
1685
debug ! ( "applying adjustment to place_with_id={:?}" , place_with_id) ;
1682
- place_with_id = self . cat_deref ( pat. hir_id , place_with_id) ?;
1686
+ place_with_id = match adjust. kind {
1687
+ adjustment:: PatAdjust :: BuiltinDeref => self . cat_deref ( pat. hir_id , place_with_id) ?,
1688
+ adjustment:: PatAdjust :: OverloadedDeref => {
1689
+ // This adjustment corresponds to an overloaded deref; it borrows the scrutinee to
1690
+ // call `Deref::deref` or `DerefMut::deref_mut`. Invoke the callback before setting
1691
+ // `place_with_id` to the temporary storing the result of the deref.
1692
+ // HACK(dianne): giving the callback a fake deref pattern makes sure it behaves the
1693
+ // same as it would if this were an explicit deref pattern.
1694
+ op ( & place_with_id, & hir:: Pat { kind : PatKind :: Deref ( pat) , ..* pat } ) ?;
1695
+ let target_ty = match adjusts. peek ( ) {
1696
+ Some ( & & next_adjust) => next_adjust. source ,
1697
+ // At the end of the deref chain, we get `pat`'s scrutinee.
1698
+ None => self . pat_ty_unadjusted ( pat) ?,
1699
+ } ;
1700
+ self . pat_deref_temp ( pat. hir_id , pat, target_ty) ?
1701
+ }
1702
+ } ;
1683
1703
}
1704
+ drop ( typeck_results) ; // explicitly release borrow of typeck results, just in case.
1684
1705
let place_with_id = place_with_id; // lose mutability
1685
1706
debug ! ( "applied adjustment derefs to get place_with_id={:?}" , place_with_id) ;
1686
1707
@@ -1783,14 +1804,8 @@ impl<'tcx, Cx: TypeInformationCtxt<'tcx>, D: Delegate<'tcx>> ExprUseVisitor<'tcx
1783
1804
self . cat_pattern ( subplace, subpat, op) ?;
1784
1805
}
1785
1806
PatKind :: Deref ( subpat) => {
1786
- let mutable = self . cx . typeck_results ( ) . pat_has_ref_mut_binding ( subpat) ;
1787
- let mutability = if mutable { hir:: Mutability :: Mut } else { hir:: Mutability :: Not } ;
1788
- let re_erased = self . cx . tcx ( ) . lifetimes . re_erased ;
1789
1807
let ty = self . pat_ty_adjusted ( subpat) ?;
1790
- let ty = Ty :: new_ref ( self . cx . tcx ( ) , re_erased, ty, mutability) ;
1791
- // A deref pattern generates a temporary.
1792
- let base = self . cat_rvalue ( pat. hir_id , ty) ;
1793
- let place = self . cat_deref ( pat. hir_id , base) ?;
1808
+ let place = self . pat_deref_temp ( pat. hir_id , subpat, ty) ?;
1794
1809
self . cat_pattern ( place, subpat, op) ?;
1795
1810
}
1796
1811
@@ -1843,6 +1858,23 @@ impl<'tcx, Cx: TypeInformationCtxt<'tcx>, D: Delegate<'tcx>> ExprUseVisitor<'tcx
1843
1858
Ok ( ( ) )
1844
1859
}
1845
1860
1861
+ /// Represents the place of the temp that stores the scrutinee of a deref pattern's interior.
1862
+ fn pat_deref_temp (
1863
+ & self ,
1864
+ hir_id : HirId ,
1865
+ inner : & hir:: Pat < ' _ > ,
1866
+ target_ty : Ty < ' tcx > ,
1867
+ ) -> Result < PlaceWithHirId < ' tcx > , Cx :: Error > {
1868
+ let mutable = self . cx . typeck_results ( ) . pat_has_ref_mut_binding ( inner) ;
1869
+ let mutability = if mutable { hir:: Mutability :: Mut } else { hir:: Mutability :: Not } ;
1870
+ let re_erased = self . cx . tcx ( ) . lifetimes . re_erased ;
1871
+ let ty = Ty :: new_ref ( self . cx . tcx ( ) , re_erased, target_ty, mutability) ;
1872
+ // A deref pattern stores the result of `Deref::deref` or `DerefMut::deref_mut` ...
1873
+ let base = self . cat_rvalue ( hir_id, ty) ;
1874
+ // ... and the inner pattern matches on the place behind that reference.
1875
+ self . cat_deref ( hir_id, base)
1876
+ }
1877
+
1846
1878
fn is_multivariant_adt ( & self , ty : Ty < ' tcx > , span : Span ) -> bool {
1847
1879
if let ty:: Adt ( def, _) = self . cx . try_structurally_resolve_type ( span, ty) . kind ( ) {
1848
1880
// Note that if a non-exhaustive SingleVariant is defined in another crate, we need
0 commit comments