Auto merge of #77908 - bugadani:obl-forest, r=nnethercote

Try to make ObligationForest more efficient

This PR tries to decrease the number of allocations in ObligationForest, as well as moves some cold path code to an uninlined function.

diff --cc compiler/rustc_trait_selection/src/traits/fulfill.rs
Simple merge