Skip to content

Remove 'Non leaf-type cannot be used here' rule#2648

Merged
pquentin merged 1 commit intomainfrom
remove-non-leaf-rule
Jun 25, 2024
Merged

Remove 'Non leaf-type cannot be used here' rule#2648
pquentin merged 1 commit intomainfrom
remove-non-leaf-rule

Commits

Commits on Jun 25, 2024