squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity
rust/compiler/rustc_typeck
History
bors d488de82f3 Auto merge of #87587 - oli-obk:lazy_tait, r=spastorino 
Various refactorings of the TAIT infrastructure

Before this PR we used to store the opaque type knowledge outside the `InferCtxt`, so it got recomputed on every opaque type instantiation.

I also removed a feature gate check that makes no sense in the planned lazy TAIT resolution scheme

Each commit passes all tests, so this PR is best reviewed commit by commit.

r? `@spastorino`
2021-08-11 05:14:45 +00:00
..
src Auto merge of #87587 - oli-obk:lazy_tait, r=spastorino 2021-08-11 05:14:45 +00:00
Cargo.toml rfc3052: Remove authors field from Cargo manifests 2021-07-29 14:56:05 -07:00
README.md

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.