diff options
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 | } | ||