diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-12 14:35:38 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-12 14:35:38 +0000 |
| commit | 479d1f7eec22c3564867223e2093f14774092528 (patch) | |
| tree | 0b7b74f69d33ca5c86267ace1ac38c2c15248e50 /.github | |
| parent | 64a1c9810d5979cfd0fe6e7c385d9ca3caac2163 (diff) | |
| parent | 11f86641829273e2b2b7023c2028bb475fce58ee (diff) | |
Merge #6818
6818: Add Lifetimes to the HIR r=matklad a=Veykril
This doesn't handle resolve yet as I don't know yet how that will be used. I'll get to that once I start moving the lifetime reference PR to the hir.
This also adds a new `hir` name type for lifetimes and labels, `hir::LifetimeName`.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions