Skip to content

Ignore but do not assume region obligations from unifying headers in negative coherence#117994

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:throw-away-regions-in-coherence
Nov 20, 2023

Commits