Make final types the default#5918

Merged

tlively merged 4 commits intomainfrom

default-final-types

Sep 9, 2023

Commits on Sep 1, 2023

Make final types the default
tlively
committed

Commits on Sep 8, 2023

Commits on Sep 9, 2023

Merge remote-tracking branch 'origin/main' into default-final-types
tlively
committed