diff options
author | Florian Diebold <[email protected]> | 2020-04-12 11:29:03 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-04-13 15:32:23 +0100 |
commit | d88d67819b3f052422ad3f024e44ad73dde1630b (patch) | |
tree | 990564fefe3e9b907ea7dea59563703e2165c08e /crates/ra_hir_ty/src/tests/regression.rs | |
parent | c388130f5ffbcbe7d3131213a24d12d02f769b87 (diff) |
Handle `Self::Type` in trait definitions when referring to own associated type
It was implemented for other generic parameters for the trait, but not for `Self`.
Diffstat (limited to 'crates/ra_hir_ty/src/tests/regression.rs')
-rw-r--r-- | crates/ra_hir_ty/src/tests/regression.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/src/tests/regression.rs b/crates/ra_hir_ty/src/tests/regression.rs index 3402e0cb5..d69115a2f 100644 --- a/crates/ra_hir_ty/src/tests/regression.rs +++ b/crates/ra_hir_ty/src/tests/regression.rs | |||
@@ -451,8 +451,7 @@ pub mod str { | |||
451 | "#, | 451 | "#, |
452 | ); | 452 | ); |
453 | 453 | ||
454 | // should be Option<char>, but currently not because of Chalk ambiguity problem | 454 | assert_eq!("(Option<char>, Option<char>)", super::type_at_pos(&db, pos)); |
455 | assert_eq!("(Option<{unknown}>, Option<{unknown}>)", super::type_at_pos(&db, pos)); | ||
456 | } | 455 | } |
457 | 456 | ||
458 | #[test] | 457 | #[test] |