Skip to content

[ty] Rename Type::into_nominal_instance#21124

Merged
AlexWaygood merged 1 commit intomainfrom
alex/rename-into-instance
Oct 29, 2025
Merged

[ty] Rename Type::into_nominal_instance#21124
AlexWaygood merged 1 commit intomainfrom
alex/rename-into-instance

Commits

Commits on Oct 29, 2025