Skip to content

document final extensions in the language specification#13633

Merged
ginsbach merged 2 commits intomainfrom
ginsbach/SpecifyExtendsFinal
Jul 5, 2023
Merged

document final extensions in the language specification#13633
ginsbach merged 2 commits intomainfrom
ginsbach/SpecifyExtendsFinal

Conversation

@ginsbach
Copy link
Contributor

@ginsbach ginsbach commented Jun 30, 2023

@ginsbach ginsbach force-pushed the ginsbach/SpecifyExtendsFinal branch from c5e2b32 to 9ccbe73 Compare June 30, 2023 11:39
@ginsbach ginsbach marked this pull request as ready for review June 30, 2023 11:53
@ginsbach ginsbach requested a review from a team as a code owner June 30, 2023 11:53
@ginsbach ginsbach requested a review from alexet June 30, 2023 11:53
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
@ginsbach ginsbach assigned alexet and unassigned alexet Jul 5, 2023
Copy link
Contributor

@alexet alexet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we need some logic on how final aliases work? I'm not sure the current text really covers them.

@ginsbach ginsbach merged commit 2ec5e72 into main Jul 5, 2023
@ginsbach ginsbach deleted the ginsbach/SpecifyExtendsFinal branch July 5, 2023 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants