5

Add `IMPLIED_BOUNDS_ENTAILMENT` lint by compiler-errors · Pull Request #105575 ·...

 1 year ago
source link: https://github.com/rust-lang/rust/pull/105575
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

Add IMPLIED_BOUNDS_ENTAILMENT lint #105575

Conversation

Member

@compiler-errors compiler-errors commented Dec 11, 2022

edited

Implements a lint (#105572) version of the hard-error introduced in #105483. Context is in that PR.

r? @lcnr
cc @oli-obk who had asked for this to be a lint first

Not sure if this needs to be an FCP, since it's a lint for now.

Contributor

oli-obk commented Dec 11, 2022

This comment has been minimized.

rustbot

added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label

Dec 11, 2022

Contributor

bors commented Dec 11, 2022

hourglass Trying commit b85a28f with merge 9490fcf...

Contributor

bors commented Dec 12, 2022

sunny Try build successful - checks-actions
Build commit: 9490fcf (9490fcf9c4ecf3ed0b3ae1a007f2f8e5b26d5692)

This comment has been minimized.

Collaborator

rust-timer commented Dec 12, 2022

Finished benchmarking commit (9490fcf): comparison URL.

Overall result: x regressions - ACTION NEEDED

Benchmarking this pull request likely means that it is perf-sensitive, so we're automatically marking it as not fit for rolling up. While you can manually mark this PR as fit for rollup, we strongly recommend not doing so since this PR may lead to changes in compiler perf.

Next Steps: If you can justify the regressions found in this try perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please fix the regressions and do another perf run. If the next run shows neutral or positive results, the label will be automatically removed.

@bors rollup=never
@rustbot label: -S-waiting-on-perf +perf-regression

Warning warning: The following benchmark(s) failed to build:

  • rustc

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

mean range count
Regressions x
(primary)
0.9% [0.3%, 2.8%] 29
Regressions x
(secondary)
1.5% [1.0%, 2.0%] 7
Improvements white_check_mark
(primary)
- - 0
Improvements white_check_mark
(secondary)
- - 0
All xwhite_check_mark (primary) 0.9% [0.3%, 2.8%] 29

Max RSS (memory usage)

Results

Cycles

Results

Member

Author

compiler-errors commented Dec 15, 2022

@lcnr told me r=me on Zulip after updating the tracking issue (#105572) to be more descriptive.

We also discussed this during the compiler team meeting (starting here) and decided the perf hit is acceptable, as this lint will be removed and turned into a hard error hopefully in a few versions.

@bors r=lcnr

Contributor

bors commented Dec 15, 2022

pushpin Commit 49176ab has been approved by lcnr

It is now in the queue for this repository.

bors

added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

labels

Dec 15, 2022

Contributor

bors commented Dec 16, 2022

hourglass Testing commit 49176ab with merge c09c28b...

Contributor

bors commented Dec 16, 2022

broken_heart Test failed - checks-actions

bors

added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

labels

Dec 16, 2022

Collaborator

rustbot commented Dec 16, 2022

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

matthiaskrgr reacted with laugh emoji

Member

Author

compiler-errors commented Dec 16, 2022

@bors r=lcnr lol let's try this again

rustbot

added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label

Dec 19, 2022

Contributor

bors commented Dec 19, 2022

hourglass Trying commit 8c86773 with merge 71f9b2b...

Contributor

bors commented Dec 19, 2022

sunny Try build successful - checks-actions
Build commit: 71f9b2b (71f9b2b2c40fc783c579b616d23eda44f74eeff1)

This comment has been minimized.

Collaborator

rust-timer commented Dec 19, 2022

Finished benchmarking commit (71f9b2b): comparison URL.

Overall result: x regressions - ACTION NEEDED

Benchmarking this pull request likely means that it is perf-sensitive, so we're automatically marking it as not fit for rolling up. While you can manually mark this PR as fit for rollup, we strongly recommend not doing so since this PR may lead to changes in compiler perf.

Next Steps: If you can justify the regressions found in this try perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please fix the regressions and do another perf run. If the next run shows neutral or positive results, the label will be automatically removed.

@bors rollup=never
@rustbot label: -S-waiting-on-perf +perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

mean range count
Regressions x
(primary)
0.8% [0.2%, 2.3%] 23
Regressions x
(secondary)
1.5% [0.7%, 2.6%] 13
Improvements white_check_mark
(primary)
- - 0
Improvements white_check_mark
(secondary)
- - 0
All xwhite_check_mark (primary) 0.8% [0.2%, 2.3%] 23

Max RSS (memory usage)

Results

Cycles

Results

rustbot

removed the S-waiting-on-perf Status: Waiting on a perf run to be completed. label

Dec 19, 2022

Member

Author

compiler-errors commented Dec 20, 2022

Huh, well, seems like rewriting it to only try once on the good path didn't actually fix the perf. Anyways, oli told me r=me on PM.

@bors r=oli-obk rollup=never

Contributor

bors commented Dec 20, 2022

pushpin Commit 8c86773 has been approved by oli-obk

It is now in the queue for this repository.

bors

added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Dec 20, 2022

Contributor

bors commented Dec 20, 2022

hourglass Testing commit 8c86773 with merge 7f42e58...

Contributor

bors commented Dec 20, 2022

sunny Test successful - checks-actions
Approved by: oli-obk
Pushing 7f42e58 to master...

bors

added the merged-by-bors This PR was explicitly merged by bors label

Dec 20, 2022

bors

merged commit 7f42e58 into

rust-lang:master

Dec 20, 2022

11 checks passed

Collaborator

rust-timer commented Dec 20, 2022

Finished benchmarking commit (7f42e58): comparison URL.

Overall result: x regressions - ACTION NEEDED

Next Steps: If you can justify the regressions found in this perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please open an issue or create a new PR that fixes the regressions, add a comment linking to the newly created issue or PR, and then add the perf-regression-triaged label to this PR.

@rustbot label: +perf-regression
cc @rust-lang/wg-compiler-performance

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

mean range count
Regressions x
(primary)
0.9% [0.2%, 2.3%] 20
Regressions x
(secondary)
1.6% [0.6%, 2.6%] 12
Improvements white_check_mark
(primary)
- - 0
Improvements white_check_mark
(secondary)
- - 0
All xwhite_check_mark (primary) 0.9% [0.2%, 2.3%] 20

Max RSS (memory usage)

Results

Cycles

Results

Contributor

oli-obk commented Dec 20, 2022

@rustbot label: +perf-regression-triaged

This regression was anticipated and accepted by the compiler team and types team on the grounds that we'll get this perf back once the future incompat lint becomes a hard error.

Also: this addresses a soundness issue

rustbot

added the perf-regression-triaged The performance regression has been triaged. label

Dec 20, 2022

Contributor

jackh726 commented Dec 20, 2022

I'm going to add relnotes here. It's not certain at what stage this lint will be (still warn or upgraded to deny) at release time, but given the size of breakages reported by crater, I think it would be good to point this out.

jackh726

added the relnotes Marks issues that should be documented in the release notes of the next release. label

Dec 20, 2022

Beta backport accepted as per compiler team on Zulip

@rustbot label +beta-accepted

rustbot

added the beta-accepted Accepted for backporting to the compiler in the beta channel. label

Dec 22, 2022

@compiler-errors This doesn't seem to backport cleanly -- can you prepare a PR targeting the beta branch?

compiler-errors reacted with thumbs up emoji

rfcbot

added finished-final-comment-period The final comment period is finished for this PR / Issue. to-announce Announce this issue on triage meeting

and removed final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised.

labels

Dec 29, 2022

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Assignees

lcnr

Labels
beta-accepted Accepted for backporting to the compiler in the beta channel. beta-nominated Nominated for backporting to the compiler in the beta channel. disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. finished-final-comment-period The final comment period is finished for this PR / Issue. merged-by-bors This PR was explicitly merged by bors perf-regression Performance regressions perf-regression-triaged The performance regression has been triaged. relnotes Marks issues that should be documented in the release notes of the next release. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-types Relevant to the types team, which will review and decide on the PR/issue. to-announce Announce this issue on triage meeting
Projects

None yet

Milestone

1.68.0

Development

Successfully merging this pull request may close these issues.

None yet

11 participants

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK