Skip to content

Conversation

gftea
Copy link
Contributor

@gftea gftea commented Jan 15, 2023

PR to solve #106736, r? @cjgillot

@rustbot
Copy link
Collaborator

rustbot commented Jan 15, 2023

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Nilstrieb (or someone else) soon.

Please see the contribution instructions for more information.

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jan 15, 2023
@rustbot rustbot assigned cjgillot and unassigned Noratrieb Jan 15, 2023
@cjgillot
Copy link
Contributor

Could you add a test that this message appears?

@Noratrieb
Copy link
Member

The test looks good. As a final step, could you squash the commits? If you need help doing that, feel free to ask.

@gftea
Copy link
Contributor Author

gftea commented Jan 16, 2023

The test looks good. As a final step, could you squash the commits? If you need help doing that, feel free to ask.

Done, please check @Nilstrieb

@Noratrieb
Copy link
Member

Thanks!
@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jan 16, 2023

📌 Commit 2c5583e has been approved by Nilstrieb

It is now in the queue for this repository.

@bors 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 Jan 16, 2023
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 16, 2023
…iaskrgr

Rollup of 5 pull requests

Successful merges:

 - rust-lang#105954 (Update instrument-coverage.md)
 - rust-lang#106835 (new trait solver: rebase impl substs for gats correctly)
 - rust-lang#106912 (check -Z query-dep-graph is enabled if -Z dump-dep-graph (rust-lang#106736))
 - rust-lang#106940 (Improve a TAIT error and add an error code plus documentation)
 - rust-lang#106942 (Update books)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 37378ee into rust-lang:master Jan 16, 2023
@rustbot rustbot added this to the 1.68.0 milestone Jan 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants