Merge `impl_wf_inference` (`check_mod_impl_wf`) check into coherence checking#117133

Merged

bors merged 1 commit intorust-lang:masterfrom compiler-errors:coherence-constrained

Oct 25, 2023

+87-15

Commits on Oct 24, 2023

Merge impl_wf_inference into coherence checking
compiler-errors
committed