1 write to ReportedNotExhaustive
Microsoft.CodeAnalysis.CSharp (1)
Generated\BoundNodes.xml.Generated.cs (1)
4894
this.
ReportedNotExhaustive
= reportedNotExhaustive;
12 references to ReportedNotExhaustive
Microsoft.CodeAnalysis.CSharp (12)
Binder\Binder_Conversions.cs (1)
2002
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)
4961
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))
4995
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))
11661
return node.Update(expression, switchArms, reachabilityDecisionDag, defaultLabel, node.
ReportedNotExhaustive
, type);
11671
return node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, defaultLabel, node.
ReportedNotExhaustive
, type);
13829
updatedNode = node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, infoAndType.Type);
13834
updatedNode = node.Update(expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, node.Type);
13849
updatedNode = node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, infoAndType.Type!);
13854
updatedNode = node.Update(naturalTypeOpt, node.WasTargetTyped, expression, switchArms, reachabilityDecisionDag, node.DefaultLabel, node.
ReportedNotExhaustive
, node.Type);
16269
new TreeDumperNode("reportedNotExhaustive", node.
ReportedNotExhaustive
, null),
16283
new TreeDumperNode("reportedNotExhaustive", node.
ReportedNotExhaustive
, null),