diff options
author | Florian Diebold <[email protected]> | 2021-03-14 16:40:55 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-03-14 19:21:05 +0000 |
commit | 42217738e0b121a8e5d48a9a55cb51ef6c98975f (patch) | |
tree | 63b3fc22a011ae0ee37a91cb19f5dcfe390507f1 /crates/hir_ty/src/method_resolution.rs | |
parent | af466f8542173002361eb134e66102908c7cd024 (diff) |
Don't use Substs for Ref/Raw/Array/Slice
Diffstat (limited to 'crates/hir_ty/src/method_resolution.rs')
-rw-r--r-- | crates/hir_ty/src/method_resolution.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/crates/hir_ty/src/method_resolution.rs b/crates/hir_ty/src/method_resolution.rs index c7055bee5..741440006 100644 --- a/crates/hir_ty/src/method_resolution.rs +++ b/crates/hir_ty/src/method_resolution.rs | |||
@@ -435,8 +435,7 @@ fn iterate_method_candidates_with_autoref( | |||
435 | } | 435 | } |
436 | let refed = Canonical { | 436 | let refed = Canonical { |
437 | kinds: deref_chain[0].kinds.clone(), | 437 | kinds: deref_chain[0].kinds.clone(), |
438 | value: TyKind::Ref(Mutability::Not, Substs::single(deref_chain[0].value.clone())) | 438 | value: TyKind::Ref(Mutability::Not, deref_chain[0].value.clone()).intern(&Interner), |
439 | .intern(&Interner), | ||
440 | }; | 439 | }; |
441 | if iterate_method_candidates_by_receiver( | 440 | if iterate_method_candidates_by_receiver( |
442 | &refed, | 441 | &refed, |
@@ -452,8 +451,7 @@ fn iterate_method_candidates_with_autoref( | |||
452 | } | 451 | } |
453 | let ref_muted = Canonical { | 452 | let ref_muted = Canonical { |
454 | kinds: deref_chain[0].kinds.clone(), | 453 | kinds: deref_chain[0].kinds.clone(), |
455 | value: TyKind::Ref(Mutability::Mut, Substs::single(deref_chain[0].value.clone())) | 454 | value: TyKind::Ref(Mutability::Mut, deref_chain[0].value.clone()).intern(&Interner), |
456 | .intern(&Interner), | ||
457 | }; | 455 | }; |
458 | if iterate_method_candidates_by_receiver( | 456 | if iterate_method_candidates_by_receiver( |
459 | &ref_muted, | 457 | &ref_muted, |