Test more Self inference

This commit is contained in:
kjeremy 2019-02-04 14:44:06 -05:00
parent 88702a758f
commit 5227102c12
2 changed files with 13 additions and 3 deletions

View File

@ -1,8 +1,8 @@
---
created: "2019-01-22T14:45:00.052694700+00:00"
creator: insta@0.4.0
created: "2019-02-04T19:40:48.826936500+00:00"
creator: insta@0.5.3
expression: "&result"
source: "crates\\ra_hir\\src\\ty\\tests.rs"
source: crates/ra_hir/src/ty/tests.rs
---
[34; 38) 'self': &S
[40; 61) '{ ... }': ()
@ -10,4 +10,8 @@ source: "crates\\ra_hir\\src\\ty\\tests.rs"
[75; 79) 'self': &S
[88; 109) '{ ... }': ()
[98; 102) 'self': &S
[133; 153) '{ ... }': S
[143; 147) 'S {}': S
[177; 200) '{ ... }': S
[187; 194) 'Self {}': S

View File

@ -215,6 +215,12 @@ fn test(&self) {
fn test2(self: &Self) {
self;
}
fn test3() -> Self {
S {}
}
fn test4() -> Self {
Self {}
}
}
"#,
);