Skip to content

allow soft modifier before enum case #22072

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.

Sign up for GitHub

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

Jump to bottom
Draft
kasiaMarek wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

allow soft modifier before enum case #22072

kasiaMarek wants to merge 1 commit into from
+13 −19

Conversation

@kasiaMarek
Copy link
Member

@kasiaMarek kasiaMarek commented Dec 2, 2024 •
edited by Gedochao
Loading

@kasiaMarek @KacperFKorban @hamzaremmal
allow soft modifier before enum case
abd3973 
Co-Authored-By: Kacper Korban <kacper.f.korban@gmail.com>
Co-Authored-By: Hamza Remmal <hamza.remmal@epfl.ch>
@hamzaremmal hamzaremmal added the needs-sip A SIP needs to be raised to move this issue/PR along. label Dec 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@kasiaMarek kasiaMarek

@KacperFKorban KacperFKorban

@hamzaremmal hamzaremmal

Labels

needs-sip A SIP needs to be raised to move this issue/PR along.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@kasiaMarek @KacperFKorban @hamzaremmal