diff options
| author | Florian Diebold <[email protected]> | 2021-04-07 19:40:01 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-07 19:40:01 +0100 |
| commit | 6777a4975d6a88928fda3e3b3f0bb05d98c61060 (patch) | |
| tree | 549d8b9eb2a30b9c6542f87545936e8283b8a8dd /crates/hir_ty/src/chalk_ext.rs | |
| parent | 86feac18e8f96a99830defd707eb221f12d02924 (diff) | |
Move hir_trait_id to extension trait
Diffstat (limited to 'crates/hir_ty/src/chalk_ext.rs')
| -rw-r--r-- | crates/hir_ty/src/chalk_ext.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/crates/hir_ty/src/chalk_ext.rs b/crates/hir_ty/src/chalk_ext.rs index 8e8a1aa48..95538eff7 100644 --- a/crates/hir_ty/src/chalk_ext.rs +++ b/crates/hir_ty/src/chalk_ext.rs | |||
| @@ -260,3 +260,13 @@ impl ProjectionTyExt for ProjectionTy { | |||
| 260 | } | 260 | } |
| 261 | } | 261 | } |
| 262 | } | 262 | } |
| 263 | |||
| 264 | pub trait TraitRefExt { | ||
| 265 | fn hir_trait_id(&self) -> TraitId; | ||
| 266 | } | ||
| 267 | |||
| 268 | impl TraitRefExt for TraitRef { | ||
| 269 | fn hir_trait_id(&self) -> TraitId { | ||
| 270 | from_chalk_trait_id(self.trait_id) | ||
| 271 | } | ||
| 272 | } | ||