Skip to content

Rename TypeckTables to TypeckResults.#72983

Merged
bors merged 1 commit intorust-lang:masterfrom
Lezzz:rename-typeck
Jul 17, 2020

Commits

Commits on Jul 17, 2020