diff options
author | Florian Diebold <[email protected]> | 2020-04-05 17:24:18 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-04-05 18:23:18 +0100 |
commit | 952714685a7c0e0a1c9970839ce307806adaa176 (patch) | |
tree | 2d002aa05d91133886bb592ba79e4c9238e37343 /crates/ra_hir_ty/src/display.rs | |
parent | 3659502816134b45448799acf428055e40fdf4fc (diff) |
Upgrade Chalk again
The big change here is counting binders, not
variables (https://github.com/rust-lang/chalk/pull/360). We have to adapt to the
same scheme for our `Ty::Bound`. It's mostly fine though, even makes some things
more clear.
Diffstat (limited to 'crates/ra_hir_ty/src/display.rs')
-rw-r--r-- | crates/ra_hir_ty/src/display.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/display.rs b/crates/ra_hir_ty/src/display.rs index 13ecd537a..1f5168ee3 100644 --- a/crates/ra_hir_ty/src/display.rs +++ b/crates/ra_hir_ty/src/display.rs | |||
@@ -303,7 +303,7 @@ impl HirDisplay for Ty { | |||
303 | } | 303 | } |
304 | } | 304 | } |
305 | } | 305 | } |
306 | Ty::Bound(idx) => write!(f, "?{}", idx)?, | 306 | Ty::Bound(idx) => write!(f, "?{}.{}", idx.debruijn.depth(), idx.index)?, |
307 | Ty::Dyn(predicates) | Ty::Opaque(predicates) => { | 307 | Ty::Dyn(predicates) | Ty::Opaque(predicates) => { |
308 | match self { | 308 | match self { |
309 | Ty::Dyn(_) => write!(f, "dyn ")?, | 309 | Ty::Dyn(_) => write!(f, "dyn ")?, |