Skip to content

Conversation

@aviatesk
Copy link
Member

@aviatesk aviatesk commented Jun 9, 2023

There are cases when joint_effects already has :nothrow tainted while the matches are fully covered.

There are cases when `joint_effects` already has `:nothrow` tainted while the matches are
fully covered.
@aviatesk aviatesk merged commit a31c8ef into master Jun 10, 2023
@aviatesk aviatesk deleted the avi/minor branch June 10, 2023 04:12
aviatesk added a commit that referenced this pull request Jun 10, 2023
There are cases when `joint_effects` already has `:nothrow` tainted while the matches are
fully covered.
@aviatesk aviatesk mentioned this pull request Jun 10, 2023
36 tasks
aviatesk added a commit that referenced this pull request Jun 12, 2023
There are cases when `joint_effects` already has `:nothrow` tainted while the matches are
fully covered.
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