perf: move cold path of process_obligations into a separate function#77041
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 25, 2020
Merged
perf: move cold path of process_obligations into a separate function#77041bors merged 1 commit intorust-lang:masterfrom
process_obligations into a separate function#77041bors merged 1 commit intorust-lang:masterfrom