diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2021-12-16 20:24:28 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2021-12-16 20:24:28 +0000 |
| commit | bdeeb07bf6400622074f04ca2523dac1512ab662 (patch) | |
| tree | 30bc554f893cc5cf5fdce601009551dfb8195657 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | 5c4600227329a273c0c6c844e4a10ce650ead601 (diff) | |
| download | rust-bdeeb07bf6400622074f04ca2523dac1512ab662.tar.gz rust-bdeeb07bf6400622074f04ca2523dac1512ab662.zip | |
Prove obligations to termination instead of ignoring ambiguities.
Sometimes an obligation depends on a later one, so we can't just process them in order like it was done previously. This is not a problem in our test suite, but there may be ICEs out there and it will definitely be a problem with lazy TAIT.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions