Skip to content

[new_without_default]: include where clause in suggestions, make applicable #11280

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 3 commits into from
Aug 18, 2023

Conversation

samueltardieu
Copy link
Contributor

@samueltardieu samueltardieu commented Aug 1, 2023

Fixes #11267

changelog: [new_without_default]: include where clause in suggestions

@rustbot
Copy link
Collaborator

rustbot commented Aug 1, 2023

r? @giraffate

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Aug 1, 2023
@bors
Copy link
Contributor

bors commented Aug 11, 2023

☔ The latest upstream changes (presumably #11239) made this pull request unmergeable. Please resolve the merge conflicts.

@samueltardieu
Copy link
Contributor Author

r? @Centri3

@rustbot rustbot assigned Centri3 and unassigned giraffate Aug 11, 2023
@Centri3
Copy link
Member

Centri3 commented Aug 18, 2023

Don't see any issue with making this applied by default. @bors r+

@bors
Copy link
Contributor

bors commented Aug 18, 2023

📌 Commit f9b22e7 has been approved by Centri3

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 18, 2023

⌛ Testing commit f9b22e7 with merge 0947751...

bors added a commit that referenced this pull request Aug 18, 2023
[new_without_default]: include `where` clause in suggestions, make applicable

[`new_without_default`]: include `where` clause in suggestions
@bors
Copy link
Contributor

bors commented Aug 18, 2023

💔 Test failed - checks-action_test

@Centri3
Copy link
Member

Centri3 commented Aug 18, 2023

Didn't have changelog:

@bors r+

@bors
Copy link
Contributor

bors commented Aug 18, 2023

💡 This pull request was already approved, no need to approve it again.

  • This pull request previously failed. You should add more commits to fix the bug, or use retry to trigger a build again.

@bors
Copy link
Contributor

bors commented Aug 18, 2023

📌 Commit f9b22e7 has been approved by Centri3

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 18, 2023

⌛ Testing commit f9b22e7 with merge 1698ce0...

@bors
Copy link
Contributor

bors commented Aug 18, 2023

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Centri3
Pushing 1698ce0 to master...

@bors bors merged commit 1698ce0 into rust-lang:master Aug 18, 2023
@samueltardieu samueltardieu deleted the issue-11267 branch November 29, 2023 22:41
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

new_without_default does not include generic bounds in suggestions
5 participants