Auto merge of #141135 - compiler-errors:fast-path-2, r=lcnr

Fast path for processing some obligations in the new solver

Fast path applies to:
- Dyn compatibility predicates
- Region and type outlives predicates
- Trivially sized predicates

Author: bors