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

* We use HIR to do type inference, trait solving and type checking

* Update src/overview.md

Co-authored-by: Yuki Okushi <0a792b09e3c7d426e6dc7b64bc4e95f557d97c14@2k36.org>

* Update src/overview.md

Co-authored-by: Yuki Okushi <0a792b09e3c7d426e6dc7b64bc4e95f557d97c14@2k36.org>

* Update src/overview.md

Co-authored-by: Noah Lev <8177b8a8abced623d23d70ce3ff2dc3fbf53888c@gmail.com>

* Fix type checking brief explanation

Co-authored-by: Yuki Okushi <0a792b09e3c7d426e6dc7b64bc4e95f557d97c14@2k36.org>
Co-authored-by: Noah Lev <8177b8a8abced623d23d70ce3ff2dc3fbf53888c@gmail.com>
rust-lang/rustc-dev-guide,rust-lang/rustc-dev-guide,rust-lang/rustc-dev-guide,rust-lang/rustc-dev-guide