1 write to ReportedNotExhaustive
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
4892
this.
ReportedNotExhaustive
= reportedNotExhaustive;
11 references to ReportedNotExhaustive
Microsoft.CodeAnalysis.CSharp (11)
FlowAnalysis\NullableWalker_Patterns.cs (1)
895
if (!node.
ReportedNotExhaustive
&& node.DefaultLabel != null &&
Generated\BoundNodes.xml.Generated.cs (10)
4959
if (expression != this.Expression || switchArms != this.SwitchArms || reachabilityDecisionDag != this.ReachabilityDecisionDag || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(defaultLabel, this.DefaultLabel) || reportedNotExhaustive != this.
ReportedNotExhaustive
|| !TypeSymbol.Equals(type, this.Type, TypeCompareKind.ConsiderEverything))
4993
if (!TypeSymbol.Equals(naturalTypeOpt, this.NaturalTypeOpt, TypeCompareKind.ConsiderEverything) || wasTargetTyped != this.WasTargetTyped || expression != this.Expression || switchArms != this.SwitchArms || reachabilityDecisionDag != this.ReachabilityDecisionDag || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(defaultLabel, this.DefaultLabel) || reportedNotExhaustive != this.
ReportedNotExhaustive
|| !TypeSymbol.Equals(type, this.Type, TypeCompareKind.ConsiderEverything))
11569
return node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, type);
11578
return node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, type);
13680
updatedNode = node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, infoAndType.Type);
13685
updatedNode = node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, node.Type);
13700
updatedNode = node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, infoAndType.Type!);
13705
updatedNode = node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, node.Type);
16119
new TreeDumperNode("reportedNotExhaustive", node.
ReportedNotExhaustive
, null),
16133
new TreeDumperNode("reportedNotExhaustive", node.
ReportedNotExhaustive
, null),