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