Rollup of 6 pull requests - #108890

Closed

matthiaskrgr wants to merge 16 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-ovifxmu

Commits on Mar 4, 2023

Delete old re-exports from rustc_smir
celinval
committed
40185db
Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguous
compiler-errors
committed
118afdf

Commits on Mar 6, 2023

use problem matchers for tidy CI
fee1-dead
committed
ef807cb
do not run tidy on x86_64-gnu-llvm-13
fee1-dead
committed
a2040de
Implementing "<test_binary> --list --format json" #107307 #49359
parthopdas
committed
2c9b8c5

Commits on Mar 7, 2023

Create new rustc_smir struct to map future crates
celinval
committed
b66db7e
Change item collection to be on demand
celinval
committed
5eaeb71

Commits on Mar 8, 2023