Deeply normalize when computing implied outlives bounds#133517

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:deep-norm

Dec 3, 2024

Commits on Dec 2, 2024

Deeply normalize when computing implied outlives bounds
compiler-errors
committed
Assert that obligations are empty before deeply normalizing
compiler-errors
committed