Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

const_eval_checked: Support as casts in abstract consts #86130

Merged
merged 3 commits into from
Jun 12, 2021
Merged

const_eval_checked: Support as casts in abstract consts #86130

merged 3 commits into from
Jun 12, 2021

Conversation

BoxyUwU
Copy link
Member

@BoxyUwU BoxyUwU commented Jun 8, 2021

No description provided.

@rust-highfive
Copy link
Collaborator

r? @matthewjasper

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 8, 2021
@BoxyUwU
Copy link
Member Author

BoxyUwU commented Jun 9, 2021

r? @oli-obk

@oli-obk
Copy link
Contributor

oli-obk commented Jun 11, 2021

@bors r+

@bors
Copy link
Contributor

bors commented Jun 11, 2021

📌 Commit 17cd790 has been approved by oli-obk

@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 Jun 11, 2021
@bors
Copy link
Contributor

bors commented Jun 12, 2021

⌛ Testing commit 17cd790 with merge d59b80d...

@bors
Copy link
Contributor

bors commented Jun 12, 2021

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing d59b80d to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 12, 2021
@bors bors merged commit d59b80d into rust-lang:master Jun 12, 2021
@rustbot rustbot added this to the 1.55.0 milestone Jun 12, 2021
@memoryruins memoryruins mentioned this pull request Jun 22, 2021
Closed
@lcnr lcnr added the A-const-generics Area: const generics (parameters and arguments) label Dec 11, 2021
@lcnr lcnr mentioned this pull request Dec 11, 2021
Closed
16 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oli-obk oli-obk oli-obk left review comments

Assignees

@oli-obk oli-obk

Labels
A-const-generics Area: const generics (parameters and arguments) merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.55.0
Development

Successfully merging this pull request may close these issues.
7 participants
@BoxyUwU @rust-highfive @oli-obk @bors @matthewjasper @lcnr @rustbot