public MalformedMethodContractQuickFix(PreconditionInAsyncMethodHighlighting warningHighlighting) : this(warningHighlighting as ICodeContractFixableIssue) { }
public MalformedMethodContractQuickFix(PreconditionInAsyncMethodHighlighting warningHighlighting) : this(warningHighlighting as ICodeContractFixableIssue) { }