Skip to content

reserve_extra_names#448

Merged
joente merged 2 commits into
mainfrom
reserveNames
Jun 11, 2026
Merged

reserve_extra_names#448
joente merged 2 commits into
mainfrom
reserveNames

Conversation

@joente

@joente joente commented Jun 11, 2026

Copy link
Copy Markdown
Member

Description

Reserve extra names to prevent them for being used as type or enum names.

List of new names:

  • big
  • email
  • false
  • future
  • interface
  • module
  • mpdata
  • tel
  • timedelta
  • trait
  • true
  • type
  • typed
  • url

Type of change

  • Breaking change (unlikely, but it might affect type or enumerators using one of the reserved names)

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • New and existing unit tests pass locally with my changes

@joente joente self-assigned this Jun 11, 2026
@joente joente merged commit d8765ad into main Jun 11, 2026
1 check passed
@joente joente deleted the reserveNames branch June 11, 2026 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant