ReSharper.Debug.Assert-overload-with-format.cs

// Overload of Debug.Assert with detailMessageFormat does not supported

// Debug.Assert has an overload with detailMessageFormat parameter: https://msdn.microsoft.com/en-us/library/cc190597(v=vs.110).aspx.

// This overload does not supported by R#:
// * No syntax highlighting and no validation of format arguments
// * Code analysises does not recognize this calls (null check not works)

class Program
{
  static void Main() { }

  static void M(int? value) {
    System.Diagnostics.Debug.Assert(value != null, "value != null",
      // No highlighting, no validation for arguments
      "value = {0}", value, "ha-ha!");
    // "Check expression for null suggestion" offered
    System.Console.WriteLine(value.Value);
  }
}