Merge check_mod_impl_wf and check_mod_type_wf#121154
Merged
bors merged 1 commit intorust-lang:masterfrom oli-obk:track_errors11Mar 7, 2024
+736-245
check_mod_impl_wf and check_mod_type_wf#121154