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

chore: Remove Parameter::as_any_mut #139

Merged
merged 1 commit into from
Mar 12, 2024
Merged

chore: Remove Parameter::as_any_mut #139

merged 1 commit into from
Mar 12, 2024

Conversation

jetuk
Copy link
Member

@jetuk jetuk commented Mar 11, 2024

This method was only used by an experiment into the variable API. That API was implemented in a different many. Therefore, remove this unused API and the associated experimental (and dead) code.

@jetuk jetuk requested a review from Batch21 March 11, 2024 14:46
@jetuk jetuk mentioned this pull request Mar 11, 2024
3 tasks
This method was only used by an experiment into the variable API.
That API was implemented in a different many. Therefore, remove
this unused API and the associated experimental (and dead) code.
@jetuk jetuk force-pushed the rm-parameter-as-any-mut branch from c9e93a2 to 6854aae Compare March 12, 2024 12:07
@jetuk jetuk merged commit fb89773 into main Mar 12, 2024
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants