diff options
| author | Florian Diebold <[email protected]> | 2020-07-10 17:30:32 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-07-12 19:12:01 +0100 |
| commit | c82f5379de49344eb418cc6aaf5bf8c35bc4aaef (patch) | |
| tree | 7c060a12fcdb8cbd2054e064257602374c3df0cb /crates/ra_hir_ty/src/traits/chalk/mapping.rs | |
| parent | 209c492432c15b017f99dba06d5937389c1f9546 (diff) | |
Enable Chalk tracing in hir_ty tests
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk/mapping.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/traits/chalk/mapping.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk/mapping.rs b/crates/ra_hir_ty/src/traits/chalk/mapping.rs index bc0c6de17..848cb6e7d 100644 --- a/crates/ra_hir_ty/src/traits/chalk/mapping.rs +++ b/crates/ra_hir_ty/src/traits/chalk/mapping.rs | |||
| @@ -575,7 +575,10 @@ where | |||
| 575 | ) | 575 | ) |
| 576 | }); | 576 | }); |
| 577 | let value = self.value.to_chalk(db); | 577 | let value = self.value.to_chalk(db); |
| 578 | chalk_ir::Canonical { value, binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds) } | 578 | chalk_ir::Canonical { |
| 579 | value, | ||
| 580 | binders: chalk_ir::CanonicalVarKinds::from_iter(&Interner, kinds), | ||
| 581 | } | ||
| 579 | } | 582 | } |
| 580 | 583 | ||
| 581 | fn from_chalk(db: &dyn HirDatabase, canonical: chalk_ir::Canonical<T::Chalk>) -> Canonical<T> { | 584 | fn from_chalk(db: &dyn HirDatabase, canonical: chalk_ir::Canonical<T::Chalk>) -> Canonical<T> { |