Skip to content

Fix definition of term_or_dynamic_optional type - #15498

Merged
josevalim merged 2 commits into
elixir-lang:mainfrom
lukaszsamson:ls-union-not-set
Jun 17, 2026
Merged

Fix definition of term_or_dynamic_optional type#15498
josevalim merged 2 commits into
elixir-lang:mainfrom
lukaszsamson:ls-union-not-set

Conversation

@lukaszsamson

Copy link
Copy Markdown
Contributor

make dynamic part a upper bound
Fixes #15497

Assisted-by: Tests written with Claude Opus 4.8

@josevalim
josevalim merged commit 0cdaea1 into elixir-lang:main Jun 17, 2026
12 of 15 checks passed
@josevalim

Copy link
Copy Markdown
Member

💚 💙 💜 💛 ❤️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Union type with gradual part breaking subtype transitivity and intersections

2 participants