Fix coercion of &T to itself

The autoderef coercion logic did not handle matching placeholders. This led to
some type mismatches.
This commit is contained in:
Florian Diebold
2020-02-16 12:57:19 +01:00
parent 617b5b3b31
commit e14e7ffa34
2 changed files with 24 additions and 0 deletions

View File

@@ -526,3 +526,25 @@ fn test() {
"###
);
}
#[test]
fn coerce_placeholder_ref() {
// placeholders should unify, even behind references
assert_snapshot!(
infer_with_mismatches(r#"
struct S<T> { t: T }
impl<TT> S<TT> {
fn get(&self) -> &TT {
&self.t
}
}
"#, true),
@r###"
[51; 55) 'self': &S<TT>
[64; 87) '{ ... }': &TT
[74; 81) '&self.t': &TT
[75; 79) 'self': &S<TT>
[75; 81) 'self.t': TT
"###
);
}