Rename tables to typecheck_result()#6131
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 9, 2020
ambroisie:fix-doc-tools
Merged
Rename tables to typecheck_result()#6131bors merged 2 commits intorust-lang:masterfrom ambroisie:fix-doc-tools
bors merged 2 commits intorust-lang:masterfrom
ambroisie:fix-doc-tools