Move check_region_obligations_and_report_errors
to TypeErrCtxt
#106164
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 9, 2023
Merged
Move `check_region_obligations_and_report_errors` to `TypeErrCtxt`#106164bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom