Skip to content

Conversation

the8472
Copy link
Member

@the8472 the8472 commented Nov 13, 2020

I apologize for the curse of choice. Here's the 3rd option to fix #78979

The alternatives are #79007 and #79008

Pros: this should directly address the reported error
Cons: this code has not been through enough testing since the PR from which it is extracted hasn't even landed yet.

CC @pietroalbini

r? @Mark-Simulacrum

@rust-highfive
Copy link
Contributor

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 13, 2020
@Mark-Simulacrum
Copy link
Member

Going to close in favor of #79008, which I have now r+'d.

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.

3 participants