diff options
Diffstat (limited to 'crates/ra_hir/src/ty/tests.rs')
-rw-r--r-- | crates/ra_hir/src/ty/tests.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 86f18b487..a4c99528d 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs | |||
@@ -2477,6 +2477,23 @@ fn test() { (&S).foo()<|>; } | |||
2477 | assert_eq!(t, "u128"); | 2477 | assert_eq!(t, "u128"); |
2478 | } | 2478 | } |
2479 | 2479 | ||
2480 | #[test] | ||
2481 | fn method_resolution_where_clause_not_met() { | ||
2482 | // The blanket impl shouldn't apply because we can't prove S: Clone | ||
2483 | let t = type_at( | ||
2484 | r#" | ||
2485 | //- /main.rs | ||
2486 | trait Clone {} | ||
2487 | trait Trait { fn foo(self) -> u128; } | ||
2488 | struct S; | ||
2489 | impl S { fn foo(self) -> i8 { 0 } } | ||
2490 | impl<T> Trait for T where T: Clone { fn foo(self) -> u128 { 0 } } | ||
2491 | fn test() { (&S).foo()<|>; } | ||
2492 | "#, | ||
2493 | ); | ||
2494 | assert_eq!(t, "i8"); | ||
2495 | } | ||
2496 | |||
2480 | fn type_at_pos(db: &MockDatabase, pos: FilePosition) -> String { | 2497 | fn type_at_pos(db: &MockDatabase, pos: FilePosition) -> String { |
2481 | let file = db.parse(pos.file_id); | 2498 | let file = db.parse(pos.file_id); |
2482 | let expr = algo::find_node_at_offset::<ast::Expr>(file.syntax(), pos.offset).unwrap(); | 2499 | let expr = algo::find_node_at_offset::<ast::Expr>(file.syntax(), pos.offset).unwrap(); |