diff options
| author | bors <bors@rust-lang.org> | 2023-09-13 04:51:19 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-13 04:51:19 +0000 |
| commit | 1fe747c1604a12de6528cd526af15967f14f2327 (patch) | |
| tree | ceea8903ace9ee86fa1ac9175b22ddba8a0f2549 /compiler/rustc_interface/src/errors.rs | |
| parent | 8e455dba67f96b9f7d732934af8b965c48bef5de (diff) | |
| parent | 3678dbc3820ead4126bf9da50859ca93fd41632b (diff) | |
| download | rust-1fe747c1604a12de6528cd526af15967f14f2327.tar.gz rust-1fe747c1604a12de6528cd526af15967f14f2327.zip | |
Auto merge of #115793 - spastorino:smir-explicit-predicates-of, r=oli-obk
Add explicit_predicates_of to SMIR Adding `explicit_predicates_of` so we can use it from Mir formality. r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions