Skip to content

Identify anonymous lifetimes by their DefId in HIR.#94773

Merged
bors merged 2 commits intorust-lang:masterfrom
cjgillot:lifetime-fresh-did
Mar 14, 2022

Commits

Commits on Mar 12, 2022

Commits on Mar 13, 2022