Skip to content

Rename TypeckTables to TypeckResults.#72983

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

Commits

Commits on Jul 17, 2020