Skip to content

Add more information to visit_projection_elem#119877

Merged
bors merged 1 commit intorust-lang:masterfrom
celinval:smir-visit-projection
Jan 12, 2024

Commits

Commits on Jan 12, 2024