Auto merge of #14511 - HKalbasi:dev, r=Veykril
Always reborrow mutable reference receiver in methods Dependency of #14470
This commit is contained in:
commit
e739c999cd
@ -954,7 +954,14 @@ fn iterate_method_candidates_with_autoref(
|
|||||||
)
|
)
|
||||||
};
|
};
|
||||||
|
|
||||||
iterate_method_candidates_by_receiver(receiver_ty, first_adjustment.clone())?;
|
let mut maybe_reborrowed = first_adjustment.clone();
|
||||||
|
if let Some((_, _, m)) = receiver_ty.value.as_reference() {
|
||||||
|
// Prefer reborrow of references to move
|
||||||
|
maybe_reborrowed.autoref = Some(m);
|
||||||
|
maybe_reborrowed.autoderefs += 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
iterate_method_candidates_by_receiver(receiver_ty, maybe_reborrowed)?;
|
||||||
|
|
||||||
let refed = Canonical {
|
let refed = Canonical {
|
||||||
value: TyKind::Ref(Mutability::Not, static_lifetime(), receiver_ty.value.clone())
|
value: TyKind::Ref(Mutability::Not, static_lifetime(), receiver_ty.value.clone())
|
||||||
|
@ -388,6 +388,24 @@ fn test() {
|
|||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn infer_trait_method_multiple_mutable_reference() {
|
||||||
|
check_types(
|
||||||
|
r#"
|
||||||
|
trait Trait {
|
||||||
|
fn method(&mut self) -> i32 { 5 }
|
||||||
|
}
|
||||||
|
struct S;
|
||||||
|
impl Trait for &mut &mut S {}
|
||||||
|
fn test() {
|
||||||
|
let s = &mut &mut &mut S;
|
||||||
|
s.method();
|
||||||
|
//^^^^^^^^^^ i32
|
||||||
|
}
|
||||||
|
"#,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn infer_trait_method_generic_1() {
|
fn infer_trait_method_generic_1() {
|
||||||
// the trait implementation is intentionally incomplete -- it shouldn't matter
|
// the trait implementation is intentionally incomplete -- it shouldn't matter
|
||||||
@ -1722,7 +1740,7 @@ fn test() {
|
|||||||
Foo.foo();
|
Foo.foo();
|
||||||
//^^^ adjustments: Borrow(Ref(Not))
|
//^^^ adjustments: Borrow(Ref(Not))
|
||||||
(&Foo).foo();
|
(&Foo).foo();
|
||||||
// ^^^^ adjustments: ,
|
// ^^^^ adjustments: Deref(None), Borrow(Ref(Not))
|
||||||
}
|
}
|
||||||
"#,
|
"#,
|
||||||
);
|
);
|
||||||
|
@ -315,6 +315,8 @@ fn main() {
|
|||||||
(&Struct).consume();
|
(&Struct).consume();
|
||||||
//^^^^^^^*
|
//^^^^^^^*
|
||||||
(&Struct).by_ref();
|
(&Struct).by_ref();
|
||||||
|
//^^^^^^^&
|
||||||
|
//^^^^^^^*
|
||||||
|
|
||||||
(&mut Struct).consume();
|
(&mut Struct).consume();
|
||||||
//^^^^^^^^^^^*
|
//^^^^^^^^^^^*
|
||||||
@ -322,6 +324,8 @@ fn main() {
|
|||||||
//^^^^^^^^^^^&
|
//^^^^^^^^^^^&
|
||||||
//^^^^^^^^^^^*
|
//^^^^^^^^^^^*
|
||||||
(&mut Struct).by_ref_mut();
|
(&mut Struct).by_ref_mut();
|
||||||
|
//^^^^^^^^^^^&mut $
|
||||||
|
//^^^^^^^^^^^*
|
||||||
|
|
||||||
// Check that block-like expressions don't duplicate hints
|
// Check that block-like expressions don't duplicate hints
|
||||||
let _: &mut [u32] = (&mut []);
|
let _: &mut [u32] = (&mut []);
|
||||||
@ -414,6 +418,10 @@ fn main() {
|
|||||||
//^^^^^^^)
|
//^^^^^^^)
|
||||||
//^^^^^^^.*
|
//^^^^^^^.*
|
||||||
(&Struct).by_ref();
|
(&Struct).by_ref();
|
||||||
|
//^^^^^^^(
|
||||||
|
//^^^^^^^)
|
||||||
|
//^^^^^^^.*
|
||||||
|
//^^^^^^^.&
|
||||||
|
|
||||||
(&mut Struct).consume();
|
(&mut Struct).consume();
|
||||||
//^^^^^^^^^^^(
|
//^^^^^^^^^^^(
|
||||||
@ -425,6 +433,10 @@ fn main() {
|
|||||||
//^^^^^^^^^^^.*
|
//^^^^^^^^^^^.*
|
||||||
//^^^^^^^^^^^.&
|
//^^^^^^^^^^^.&
|
||||||
(&mut Struct).by_ref_mut();
|
(&mut Struct).by_ref_mut();
|
||||||
|
//^^^^^^^^^^^(
|
||||||
|
//^^^^^^^^^^^)
|
||||||
|
//^^^^^^^^^^^.*
|
||||||
|
//^^^^^^^^^^^.&mut
|
||||||
|
|
||||||
// Check that block-like expressions don't duplicate hints
|
// Check that block-like expressions don't duplicate hints
|
||||||
let _: &mut [u32] = (&mut []);
|
let _: &mut [u32] = (&mut []);
|
||||||
|
Loading…
Reference in New Issue
Block a user