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