mirror of
https://github.com/rust-lang/rust.git
synced 2025-06-05 19:58:32 +00:00
![]() 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` |
||
---|---|---|
.. | ||
borrow_check | ||
const_eval | ||
dataflow | ||
interpret | ||
monomorphize | ||
transform | ||
util | ||
lib.rs | ||
shim.rs |