We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Fix
Edit
This issue is part of #4181. The goal is to prepare the Fix and Edit API to ease adding the Applicability to Fix in a follow-up PR.
Applicability
I propose the following changes to the API. Please feel free to deviate from or extend the proposal if I overlooked something.
Diagnostic
fix
Option<Fix>
set_fix
with_fix
try_set_fix
new
unspecified
unspecified_edits(edit: Edit, rest: impl IntoIterator<Item = Edit>) -> Self
unspecified(edit: Edit) -> Self
is_empty()
FromIterator
From<Edit>
Default
push_edit(&mut self, edit; Edit)
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
This issue is part of #4181. The goal is to prepare the
Fix
andEdit
API to ease adding theApplicability
toFix
in a follow-up PR.I propose the following changes to the API. Please feel free to deviate from or extend the proposal if I overlooked something.
Diagnostic
:fix
toOption<Fix>
set_fix
,with_fix
andtry_set_fix
to accept aFix
Fix
:new
tounspecified
unspecified_edits(edit: Edit, rest: impl IntoIterator<Item = Edit>) -> Self
factory functionunspecified
tounspecified(edit: Edit) -> Self
is_empty()
,FromIterator
,From<Edit>
andDefault
implementationspush_edit(&mut self, edit; Edit)
methodThe text was updated successfully, but these errors were encountered: