Skip to content
This repository was archived by the owner on Dec 17, 2025. It is now read-only.

Minor fixes for bincode bump#47

Merged
VictorKoenders merged 1 commit intotrunkfrom
bincode_fixes
Mar 30, 2023
Merged

Minor fixes for bincode bump#47
VictorKoenders merged 1 commit intotrunkfrom
bincode_fixes

Conversation

@VictorKoenders
Copy link
Contributor

  • Made the fields in Lifetime public as bincode needs to access the ident
  • Made sure push_constraint did not push an extra comma if the last constraint token was already a comma, as this resulted in a double comma

@VictorKoenders VictorKoenders merged commit e2ced91 into trunk Mar 30, 2023
@VictorKoenders VictorKoenders deleted the bincode_fixes branch April 7, 2023 08:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant