rename TyKind
to RegionKind
in comment in rustc_middle#97453
Merged
bors merged 1 commit intorust-lang:masterfrom lcnr:commentMay 28, 2022
+1-1
Commits
Commits on May 27, 2022
- committed
TyKind
to RegionKind
in comment in rustc_middle#97453