Skip to content

Rust: rename TypeRef and *Type to *TypeRepr, ty to type_repr, and expand some abbreviations in generated docs#18174

Merged
paldepind merged 12 commits intomainfrom
redsun82/rust-tweaks
Dec 4, 2024
Merged

Rust: rename `TypeRef` and `*Type` to `*TypeRepr`, `ty` to `type_repr`, and expand some abbreviations in generated docs#18174
paldepind merged 12 commits intomainfrom
redsun82/rust-tweaks

Commits

Commits on Dec 2, 2024

Commits on Dec 3, 2024

Commits on Dec 4, 2024