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