Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Add simplification rules #1243

Merged
merged 1 commit into from
Oct 16, 2023
Merged

Add simplification rules #1243

merged 1 commit into from
Oct 16, 2023

Conversation

hermanventer
Copy link
Contributor

Description

Add simplification rules

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • API change with a documentation update
  • Additional test coverage
  • Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Oct 16, 2023
@hermanventer hermanventer merged commit 9b2ceeb into main Oct 16, 2023
6 checks passed
@hermanventer hermanventer deleted the simplifications branch October 16, 2023 04:36
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@hermanventer @facebook-github-bot