Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGuaranteed`#117159

Merged

bors merged 1 commit intorust-lang:masterfrom oli-obk:error_shenanigans

Oct 25, 2023

+661-80

Commits on Oct 25, 2023

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types
oli-obk
committed