diff options
| author | bors <bors@rust-lang.org> | 2021-08-11 05:14:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-08-11 05:14:45 +0000 |
| commit | d488de82f30fd1dcb0220d57498638596622394e (patch) | |
| tree | 06c86ec1acc9802aad71c437f3bbb48945727bd6 /compiler/rustc_errors/src/snippet.rs | |
| parent | 47b41b7788a6f85c749049062f1e4eed497cd894 (diff) | |
| parent | 93c4aa80b805bd2f0685e3438cb851ff8775415c (diff) | |
| download | rust-d488de82f30fd1dcb0220d57498638596622394e.tar.gz rust-d488de82f30fd1dcb0220d57498638596622394e.zip | |
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`
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions