]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 47b41b7 93c4aa8)
Auto merge of #87587 - oli-obk:lazy_tait, r=spastorino
authorbors <bors@rust-lang.org>
Wed, 11 Aug 2021 05:14:45 +0000 (05:14 +0000)
committerbors <bors@rust-lang.org>
Wed, 11 Aug 2021 05:14:45 +0000 (05:14 +0000)
commitd488de82f30fd1dcb0220d57498638596622394e
tree06c86ec1acc9802aad71c437f3bbb48945727bd6tree | snapshot
parent47b41b7788a6f85c749049062f1e4eed497cd894commit | diff
parent93c4aa80b805bd2f0685e3438cb851ff8775415ccommit | diff
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`
Empowering everyone to build reliable and efficient software.