diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-05 20:34:50 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-05 20:34:50 +0100 |
| commit | 8c96a7d81e29061537d78b5670a3474cb136422d (patch) | |
| tree | d33a50deed6fb0ee85804ba9b0430e25115283e2 /xtask/src/flags.rs | |
| parent | 72781085bba92756d11f9fcc3d879b60108d230f (diff) | |
| parent | d587ca2991406bd348768b2912c3cb66c869e7e8 (diff) | |
Merge #8353
8353: Replace hir_ty::Lifetime with chalk equivalent r=flodiebold a=Veykril
Our `Lifetime` isn't really used yet so this is a rather simple change
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'xtask/src/flags.rs')
0 files changed, 0 insertions, 0 deletions