Skip to content

Conversation

@pquentin
Copy link
Member

Backport

This will backport the following commits from main to 8.17:

Questions ?

Please refer to the Backport tool documentation

* Fix open generics definition in type alias verification

* Add void builtin type

* A tagged union can have generic parameters

* Add binary builtin type

* Fix lint

---------

Co-authored-by: Quentin Pradet <[email protected]>
(cherry picked from commit 9dd5b47)

# Conflicts:
#	output/schema/validation-errors.json
@pquentin pquentin merged commit 2f823ff into 8.17 Dec 13, 2024
9 checks passed
@pquentin pquentin deleted the backport/8.17/pr-3295 branch December 13, 2024 08:04
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