Use select in projection lookup in report_projection_error
#140519
Merged
bors merged 1 commit intorust-lang:masterfrom May 3, 2025
Merged
Use select in projection lookup in `report_projection_error`#140519bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom