in TeamCity.dotCover/Console.cs [16:24]
public void WriteErrLine(string? error) { if (error == default) { return; } System.Console.Error.WriteLine(error); }