Skip to content

Conversation

Dylan-DPC
Copy link
Member

Closes #86026

@rustbot
Copy link
Collaborator

rustbot commented Nov 27, 2023

r? @thomcc

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

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Nov 27, 2023
@Dylan-DPC Dylan-DPC added the needs-fcp This change is insta-stable, or significant enough to need a team FCP to proceed. label Nov 27, 2023
@thomcc
Copy link
Member

thomcc commented Nov 27, 2023

r? libs-api

@rustbot rustbot added the T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. label Nov 27, 2023
@rustbot rustbot assigned m-ou-se and unassigned thomcc Nov 27, 2023
@thomcc thomcc removed the T-libs Relevant to the library team, which will review and decide on the PR/issue. label Nov 27, 2023
@m-ou-se m-ou-se added S-waiting-on-fcp Status: PR is in FCP and is awaiting for FCP to complete. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 28, 2023
@m-ou-se
Copy link
Member

m-ou-se commented Nov 28, 2023

This needs an FCP first. I've nominated the tracking issue for team discussion.

@Ekleog Ekleog mentioned this pull request Jan 14, 2024
3 tasks
@clubby789 clubby789 added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-fcp Status: PR is in FCP and is awaiting for FCP to complete. labels Jan 14, 2024
@Amanieu
Copy link
Member

Amanieu commented Jan 15, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 15, 2024

📌 Commit a43dc2b has been approved by Amanieu

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

Rollup of 8 pull requests

Successful merges:

 - rust-lang#118361 (stabilise bound_map)
 - rust-lang#119816 (Define hidden types in confirmation)
 - rust-lang#119900 (Inline `check_closure`, simplify `deduce_sig_from_projection`)
 - rust-lang#119969 (Simplify `closure_env_ty` and `closure_env_param`)
 - rust-lang#119990 (Add private `NonZero<T>` type alias.)
 - rust-lang#119998 (Update books)
 - rust-lang#120002 (Lint `overlapping_ranges_endpoints` directly instead of collecting into a Vec)
 - rust-lang#120018 (Don't allow `.html` files in `tests/mir-opt/`)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 304a17a into rust-lang:master Jan 16, 2024
@rustbot rustbot added this to the 1.77.0 milestone Jan 16, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Jan 16, 2024
Rollup merge of rust-lang#118361 - Dylan-DPC:80626/stab/bound-map, r=Amanieu

stabilise bound_map

Closes rust-lang#86026
@Dylan-DPC Dylan-DPC deleted the 80626/stab/bound-map branch January 21, 2024 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-fcp This change is insta-stable, or significant enough to need a team FCP to proceed. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Tracking Issue for Bound::map
7 participants