public RedundantRequiresQuickFix(RedundantRequiresCheckerHighlighting highlighting) { Contract.Requires(highlighting != null); _highlighting = highlighting; }