correction property
The template used to create the correction to be displayed for this
diagnostic, or null if there is no correction information for this
error. The correction should indicate how the user can fix the error.
Implementation
@Deprecated("Use 'correctionMessage' instead.")
String? get correction => correctionMessage;