diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-27 21:24:24 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-27 21:24:24 +0000 |
| commit | 5cfaf87627fcd9d22b74da7efd485223da225893 (patch) | |
| tree | 51f72f5b75d78f7b42ff69fcd1d709901b41c04c /crates/ra_hir_ty/src/op.rs | |
| parent | 1916a78c6a31219a8aaa73f2b443282441671539 (diff) | |
| parent | 339a11c33c834ac0148ebaad2484d58322025c30 (diff) | |
Merge #2872
2872: Upgrade Chalk r=matklad a=flodiebold
This is just keeping track of the changes required to upgrade Chalk; currently we can't really merge it since it breaks opaque types.
Now also makes use of the newly introduced `solve_limited` to implement fuel.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/op.rs')
0 files changed, 0 insertions, 0 deletions