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