Repository navigation

We use HIR to do type inference, trait solving and type checking - #1139

Merged

LeSeulArtichaut merged 5 commits into

rust-lang:masterfrom

spastorino:fix-overview-todo

Jun 14, 2021

Commits on Jun 11, 2021

We use HIR to do type inference, trait solving and type checking
spastorino
committed
8d33a4d

Commits on Jun 14, 2021

Update src/overview.md

spastorino
and
JohnTitor
authored
9e4ce76
Update src/overview.md

spastorino
and
JohnTitor
authored
faf8e16
Update src/overview.md

spastorino
and
camelid
authored
227acff
Fix type checking brief explanation
spastorino
committed
16ae618