Skip to content

Change definition of io::write_partial#2838

Merged
stevenengler merged 2 commits intoshadow:mainfrom
stevenengler:ptr-types
Apr 4, 2023
Merged

Change definition of io::write_partial#2838
stevenengler merged 2 commits intoshadow:mainfrom
stevenengler:ptr-types

Conversation

@stevenengler
Copy link
Copy Markdown
Contributor

I think it's clearer this way, and lets us remove the NoTypeInference restriction from the function.

@stevenengler stevenengler requested a review from sporksmith April 4, 2023 18:59
@stevenengler stevenengler self-assigned this Apr 4, 2023
@github-actions github-actions bot added the Component: Main Composing the core Shadow executable label Apr 4, 2023
@stevenengler stevenengler enabled auto-merge April 4, 2023 19:41
@stevenengler stevenengler merged commit f2c788b into shadow:main Apr 4, 2023
@stevenengler stevenengler deleted the ptr-types branch April 4, 2023 20:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Component: Main Composing the core Shadow executable

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants