1 write to ReportedNotExhaustive
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
4875
this.
ReportedNotExhaustive
= reportedNotExhaustive;
12 references to ReportedNotExhaustive
Microsoft.CodeAnalysis.CSharp (12)
Binder\Binder_Conversions.cs (1)
2007
source.DefaultLabel, source.
ReportedNotExhaustive
, destination, hasErrors || source.HasErrors).WithSuppression(source.IsSuppressed);
FlowAnalysis\NullableWalker_Patterns.cs (1)
895
if (!node.
ReportedNotExhaustive
&& node.DefaultLabel != null &&
Generated\BoundNodes.xml.Generated.cs (10)
4942
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))
4976
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))
11642
return node.Update(expression, switchArms, reachabilityDecisionDag, defaultLabel, node.
ReportedNotExhaustive
, type);
11652
return node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, defaultLabel, node.
ReportedNotExhaustive
, type);
13810
updatedNode = node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, infoAndType.Type);
13815
updatedNode = node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, node.Type);
13830
updatedNode = node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, infoAndType.Type!);
13835
updatedNode = node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, node.Type);
16250
new TreeDumperNode("reportedNotExhaustive", node.
ReportedNotExhaustive
, null),
16264
new TreeDumperNode("reportedNotExhaustive", node.
ReportedNotExhaustive
, null),