improve normalization of `Pointee::Metadata`#120354

Merged

bors merged 4 commits intorust-lang:masterfrom

lukas-code:metadata-normalize

Feb 9, 2024

Commits on Feb 5, 2024

extend docs for `predicate_must_hold_considering_regions`
Lukas Markeffsky
committed
old solver: improve normalization of `Pointee::Metadata`
Lukas Markeffsky
committed
new solver: improve normalization of `Pointee::Metadata`
Lukas Markeffsky
committed

Commits on Feb 6, 2024

add fixme
Lukas Markeffsky
committed