3 references to IsContractCheckArgument
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (3)
1491
Debug.Assert(
IsContractCheckArgument
((IArgumentOperation)operation));
1670
Debug.Assert(
IsContractCheckArgument
(argument));
3077
if (PredicateAnalysis &&
IsContractCheckArgument
(operation))