Rollup of 6 pull requests

[matthiaskrgr]

Successful merges:

• use problem matchers for tidy CI #106085 (use problem matchers for tidy CI)
• Implementing "<test_binary> --list --format json" for use by IDE test explorers / runners #108148 (Implementing "<test_binary> --list --format json" for use by IDE test explorers / runners #107307 Implementing "<test_binary> --list --format json" for use by IDE test explorers / runners)
• Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguous #108754 (Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguous)
• StableMIR: Proof-of-concept implementation + test  #108846 (StableMIR: Proof-of-concept implementation + test )
• Tweak E0740 #108882 (Tweak E0740)
• Suppress copy impl error when post-normalized type references errors #108883 (Suppress copy impl error when post-normalized type references errors)

Failed merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup