Skip to content

Some small elaborator nits#116874

Merged
bors merged 2 commits intorust-lang:masterfrom
compiler-errors:elaborator-nits
Oct 19, 2023