Skip to content

Improve comments on TyCtxt and GlobalCtxt.#112190

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:improve-comments-TyCtxt-GlobalCtxt
Jun 2, 2023
Merged

Improve comments on `TyCtxt` and `GlobalCtxt`.#112190
bors merged 1 commit intorust-lang:masterfrom
nnethercote:improve-comments-TyCtxt-GlobalCtxt

Commits

Commits on Jun 2, 2023