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.

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

Introduce is_lang_ctor #7047

Merged
merged 1 commit into from
Apr 12, 2021
Merged

Introduce is_lang_ctor #7047

merged 1 commit into from
Apr 12, 2021

Conversation

camsteffen
Copy link
Contributor

@camsteffen camsteffen commented Apr 6, 2021

changelog: none

Replaces is_some_ctor and is_ok_ctor. Removes many path usages.

@rust-highfive
Copy link

r? @flip1995

(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 Apr 6, 2021
@flip1995
Copy link
Member

@bors r+

This is nice, thanks!

@bors
Copy link
Contributor

bors commented Apr 12, 2021

📌 Commit 7468542 has been approved by flip1995

@bors
Copy link
Contributor

bors commented Apr 12, 2021

⌛ Testing commit 7468542 with merge aecccbc...

@bors
Copy link
Contributor

bors commented Apr 12, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing aecccbc to master...

@bors bors merged commit aecccbc into rust-lang:master Apr 12, 2021
@camsteffen camsteffen deleted the lang-ctor branch July 8, 2021 22:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.

4 participants