Skip to content

Check use<..> in RPITIT for refinement#132795

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:refine-rpitit
Nov 18, 2024
Merged

Check `use<..>` in RPITIT for refinement#132795
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:refine-rpitit

Commits

Commits on Nov 18, 2024