Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir_ty/src/tests/method_resolution.rs')
| -rw-r--r-- | crates/hir_ty/src/tests/method_resolution.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/crates/hir_ty/src/tests/method_resolution.rs b/crates/hir_ty/src/tests/method_resolution.rs index 26078a4b2f..9b1f682b61 100644 --- a/crates/hir_ty/src/tests/method_resolution.rs +++ b/crates/hir_ty/src/tests/method_resolution.rs @@ -1386,3 +1386,24 @@ fn f<S: Sized, T, U: ?Sized>() { "#]], ); } + +#[test] +fn local_impl() { + check_types( + r#" +fn main() { + struct SomeStruct(i32); + + impl SomeStruct { + fn is_even(&self) -> bool { + self.0 % 2 == 0 + } + } + + let o = SomeStruct(3); + let is_even = o.is_even(); + // ^^^^^^^ bool +} + "#, + ); +} |