Skip to content

miscellaneous type system improvements#121359

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:typesystem-cleanup
Feb 21, 2024
Merged

miscellaneous type system improvements#121359
bors merged 1 commit intorust-lang:masterfrom
lcnr:typesystem-cleanup

Commits

Commits on Feb 20, 2024