Skip to content

More tests for dyn trait (in particular, unsized receivers) #1039

New issue

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

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

Already on GitHub? # to your account

Merged
merged 5 commits into from
Nov 7, 2019

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 7, 2019

So far we only tested them indirectly through dyn FnOnce; this also adds some self-contained tests from the rustc test suite.

@RalfJung
Copy link
Member Author

RalfJung commented Nov 7, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Nov 7, 2019

📌 Commit b7a8ce1 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Nov 7, 2019

⌛ Testing commit b7a8ce1 with merge b1332d8...

bors added a commit that referenced this pull request Nov 7, 2019
More tests for dyn trait (in particular, unsized receivers)

So far we only tested them indirectly through `dyn FnOnce`; this also adds some self-contained tests from the rustc test suite.
@RalfJung
Copy link
Member Author

RalfJung commented Nov 7, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Nov 7, 2019

📌 Commit 57dec5c has been approved by RalfJung

bors added a commit that referenced this pull request Nov 7, 2019
More tests for dyn trait (in particular, unsized receivers)

So far we only tested them indirectly through `dyn FnOnce`; this also adds some self-contained tests from the rustc test suite.
@bors
Copy link
Contributor

bors commented Nov 7, 2019

⌛ Testing commit 57dec5c with merge 5dc433a...

@bors
Copy link
Contributor

bors commented Nov 7, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing 5dc433a to master...

@bors bors merged commit 57dec5c into rust-lang:master Nov 7, 2019
@RalfJung RalfJung deleted the dyn-tests branch November 7, 2019 09:09
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants