public MalformedMethodContractQuickFix(CodeContractErrorHighlighting errorHighlighting) : this(errorHighlighting as ICodeContractFixableIssue) { }