Skip to content

Allow rec groups of public function types in closed world#6053

Merged
kripken merged 6 commits into
mainfrom
closed-world.group
Oct 26, 2023
Merged

Allow rec groups of public function types in closed world#6053
kripken merged 6 commits into
mainfrom
closed-world.group

oops

74eeeac
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs