Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnr · RalfJung/miri@0addfa2 · GitHub

Commit

Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnr

Browse files

Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidates

The description is on the [zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-t-types/topic/.5Basking.20for.20help.5D.20.60DeepRejectCtxt.60.20for.20param.20env.20candidates)

r? `@lcnr`

Loading branch information

bors committed Sep 6, 2024

2 parents c62efd4 + 365933d commit 0addfa2