diff options
author | Florian Diebold <[email protected]> | 2021-05-15 18:28:58 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-05-21 16:48:34 +0100 |
commit | 212f0477f29ec27a3981a916de432fc9ef872ff3 (patch) | |
tree | 5a8c5c7391a1fda399c909180b969abae2212435 /crates/hir_ty/src/db.rs | |
parent | 32fc944263ae0b30eba130fbcf28f4eb5578fdb3 (diff) |
Make diverging type variables work again
Chalk doesn't know about the `diverging` flag, so we need to instead
propagate it before fully resolving the variables.
Diffstat (limited to 'crates/hir_ty/src/db.rs')
0 files changed, 0 insertions, 0 deletions