diff options
| author | Florian Diebold <[email protected]> | 2021-04-08 12:58:03 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-08 13:23:17 +0100 |
| commit | a163554857db677e892c211b41deda676a6d1511 (patch) | |
| tree | 7b2d2cadebdf4decb5fabe83ea1bd48c28ec56e6 /xtask/src/metrics.rs | |
| parent | a838a60caaa5351d7543bcbebb1aa976b0b73f39 (diff) | |
Fix `Canonicalized::apply_solution`
Now that we're using Chalk's `substitute` which actually knows about
lifetimes, the hack doesn't work anymore, but we can put in a proper
lifetime.
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions