Skip to content

No more tuples#33

Merged
wick3dr0se merged 1 commit intowick3dr0se:mainfrom
oli-obk:no-more-tuples
Apr 12, 2025
Merged

No more tuples#33
wick3dr0se merged 1 commit intowick3dr0se:mainfrom
oli-obk:no-more-tuples

Conversation

@oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Apr 11, 2025

Sadly this regresses diagnostics quite a bit. I cannot recreate any of the nice first element must not be Option and similar diagnostics

@wick3dr0se wick3dr0se merged commit 0554710 into wick3dr0se:main Apr 12, 2025
7 checks passed
@oli-obk oli-obk deleted the no-more-tuples branch April 12, 2025 14:48
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.

2 participants