Use DeepRejectCtxt
to quickly reject ParamEnv
candidates#128776
Merged
bors merged 1 commit intorust-lang:masterfrom Bryanskiy:deep-reject-ctxtSep 6, 2024
+272-152
DeepRejectCtxt
to quickly reject ParamEnv
candidates#128776