Rename various "concrete opaque type" things to say "hidden type"#147109
Merged
bors merged 2 commits intorust-lang:masterfrom Sep 30, 2025
Merged
Rename various "concrete opaque type" things to say "hidden type"#147109bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Sep 27, 2025
Commits on Sep 29, 2025
- committed