Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Builder token buffer support #584

Merged
merged 1 commit into from
Sep 27, 2023
Merged

Builder token buffer support #584

merged 1 commit into from
Sep 27, 2023

Conversation

yawkat
Copy link
Member

@yawkat yawkat commented Sep 27, 2023

This fixes the combination of property-based subtyping and builders.

This fixes the combination of property-based subtyping and builders.
@yawkat yawkat requested a review from graemerocher September 27, 2023 10:59
@yawkat yawkat added the type: enhancement New feature or request label Sep 27, 2023
@yawkat yawkat added this to the 2.2.5 milestone Sep 27, 2023
@sonarqubecloud
Copy link

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

84.6% 84.6% Coverage
0.0% 0.0% Duplication

@graemerocher graemerocher merged commit 81e91f8 into master Sep 27, 2023
@graemerocher graemerocher deleted the build-tokenbuffer branch September 27, 2023 11:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement New feature or request
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants