Skip to content
This repository was archived by the owner on Nov 15, 2023. It is now read-only.

clean the interface of supports map #9674

Merged
5 commits merged into from
Sep 10, 2021
Merged

clean the interface of supports map #9674

5 commits merged into from
Sep 10, 2021

Conversation

kianenigma
Copy link
Contributor

Cleans some legacy code. We remove the complicated trait that allowed both Supports and SupportMap to have the same impl Evaluate. The former is never needs to be evaluated anyhow.

Almost certainly insubstantial. The only real code that is being changed is a few less checks in fn feasibility_check, but I strongly assert that all of the removed check were totally redundant. I invite any reviewer to challenge about that.

@kianenigma kianenigma added A0-please_review Pull request needs code review. B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. D5-nicetohaveaudit ⚠️ PR contains trivial changes to logic that should be properly reviewed. labels Sep 1, 2021
@kianenigma kianenigma changed the title clean the interface of supports map, make it a bit cleaner and more e… clean the interface of supports map Sep 2, 2021
Copy link
Contributor

@emostov emostov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🏎️

@kianenigma
Copy link
Contributor Author

bot merge

@ghost
Copy link

ghost commented Sep 10, 2021

Waiting for commit status.

@ghost
Copy link

ghost commented Sep 10, 2021

Merge aborted: Checks failed for 0eac45d

@kianenigma
Copy link
Contributor Author

bot merge

@ghost
Copy link

ghost commented Sep 10, 2021

Waiting for commit status.

@ghost
Copy link

ghost commented Sep 10, 2021

Merge aborted: Checks failed for 0eac45d

@kianenigma
Copy link
Contributor Author

Jesus, finally I can merge this. The CI has been super flaky today.

@kianenigma
Copy link
Contributor Author

bot merge

@ghost
Copy link

ghost commented Sep 10, 2021

Trying merge.

@ghost ghost merged commit 9b15da9 into master Sep 10, 2021
@ghost ghost deleted the kiz-clean-support-maps branch September 10, 2021 18:39
This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A0-please_review Pull request needs code review. B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. D5-nicetohaveaudit ⚠️ PR contains trivial changes to logic that should be properly reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants