2 writes to NarrowedType
Microsoft.CodeAnalysis.CSharp (2)
Generated\BoundNodes.xml.Generated.cs (2)
8139this.NarrowedType = narrowedType; 8154this.NarrowedType = narrowedType;
140 references to NarrowedType
Microsoft.CodeAnalysis.CSharp (140)
Binder\Binder_Patterns.cs (3)
2272var right = binder.BindPattern(node.Right, ref unionType, preboundLeft.NarrowedType, permitDesignations, hasErrors, diagnostics, out bool rightHasUnionMatching); 2275var result = new BoundBinaryPattern(node, disjunction: isDisjunction, preboundLeft, right, inputType: inputType, narrowedType: right.NarrowedType, hasErrors); 2344var candidate = pat.NarrowedType;
Binder\DecisionDagBuilder.cs (4)
1114if (bin.InputType.Equals(bin.NarrowedType)) 1126var evaluation = new BoundDagTypeEvaluation(bin.Syntax, bin.NarrowedType, input); 1139outputInfo.DagTemp.Type.Equals(bin.NarrowedType, TypeCompareKind.AllIgnoreOptions) : 1140bin.NarrowedType.SpecialType == SpecialType.System_Object));
Binder\DecisionDagBuilder_CheckOrReachability.cs (21)
488var wrappedPattern = new BoundBinaryPattern(newPattern.Syntax, disjunction: false, current.Left, newPattern, current.InputType, newPattern.NarrowedType); 762inputType = stack.Peek().NarrowedType; 780if (resultRight.NarrowedType.Equals(resultLeft.NarrowedType, TypeCompareKind.AllIgnoreOptions)) 782return resultLeft.NarrowedType; 789narrowedType = resultRight.NarrowedType; 988return typePattern1.Update(typePattern1.DeclaredType, typePattern1.IsExplicitNotNullTest, isUnionMatching: false, inputType, typePattern1.NarrowedType); 999isUnionMatching: false, inputType, recursivePattern.NarrowedType); 1016var narrowedType = constantPattern.ConstantValue.IsNull ? inputType : constantPattern.NarrowedType; 1022return relationalPattern.Update(relationalPattern.Relation, relationalPattern.Value, relationalPattern.ConstantValue, isUnionMatching: false, inputType, relationalPattern.NarrowedType); 1029variable: null, variableAccess: null, isUnionMatching: false, inputType, declarationPattern.NarrowedType); 1040var result = new BoundBinaryPattern(pattern.Syntax, disjunction: false, left: typePattern, right: pattern, inputType, pattern.NarrowedType); 1052var result = new BoundDeclarationPattern(node.Syntax, node.DeclaredType, node.IsVar, node.Variable, node.VariableAccess, isUnionMatching: false, node.InputType, node.NarrowedType) 1092initialCheck = new BoundTypePattern(node.Syntax, node.DeclaredType, node.IsExplicitNotNullTest, isUnionMatching: false, node.InputType, node.NarrowedType, node.HasErrors); 1132isUnionMatching: false, node.InputType, node.NarrowedType, node.HasErrors); 1167isUnionMatching: false, node.InputType, node.NarrowedType, node.HasErrors); 1235isUnionMatching: false, ituplePattern.InputType, ituplePattern.NarrowedType); 1252ituplePattern.GetItemMethod, newSubpatterns, isUnionMatching: false, ituplePattern.InputType, ituplePattern.NarrowedType); 1317isUnionMatching: false, listPattern.InputType, listPattern.NarrowedType); 1341slice.ReceiverPlaceholder, slice.ArgumentPlaceholder, slice.InputType, slice.NarrowedType); 1348isUnionMatching: false, listPattern.InputType, listPattern.NarrowedType);
Binder\DecisionDagBuilder_ListPatterns.cs (2)
20inputType.StrippedType().Equals(list.NarrowedType, TypeCompareKind.ConsiderEverything) && 27inputInfo = MakeConvertToType(inputInfo, list.Syntax, list.NarrowedType, isExplicitTest: false, tests);
Binder\UnionMatchingRewriter.cs (14)
81if (Binder.IsClassOrNullableValueTypeUnionNullPatternMatching((NamedTypeSymbol)node.InputType, node.ConstantValue) && node.NarrowedType.Equals(node.InputType, TypeCompareKind.AllIgnoreOptions)) 100node.Update(node.Value, node.ConstantValue, isUnionMatching: false, inputType: ObjectType, narrowedType: node.NarrowedType)); 115isUnionMatching: false, inputType: ObjectType, narrowedType: node.NarrowedType)); 131TypeSymbol? narrowedType = node.NarrowedType; 152isUnionMatching: false, inputType: ObjectType, narrowedType: node.NarrowedType)); 166isUnionMatching: false, inputType: ObjectType, narrowedType: node.NarrowedType)); 179node.Update(node.DeclaredType, node.IsExplicitNotNullTest, isUnionMatching: false, inputType: ObjectType, narrowedType: node.NarrowedType)); 192node.Update(node.Relation, node.Value, node.ConstantValue, isUnionMatching: false, inputType: ObjectType, narrowedType: node.NarrowedType)); 202TypeSymbol? narrowedType = node.NarrowedType; 221TypeSymbol? narrowedType = node.NarrowedType; 310Debug.Assert(node.NarrowedType.Equals(leastSpecific ?? node.InputType, TypeCompareKind.ConsiderEverything)); 313return node.Update(disjunction: true, preboundLeft, right, inputType: node.InputType, narrowedType: node.NarrowedType); 324narrowedTypeCandidates.Add(result is BoundPatternWithUnionMatching unionResult ? getDisjunctionType(unionResult) : result.NarrowedType); 426return new BoundBinaryPattern(node, disjunction: false, left, right, inputType: left.InputType, narrowedType: right.NarrowedType) { WasCompilerGenerated = makeCompilerGenerated };
BoundTree\BoundBinaryPattern.cs (3)
25Debug.Assert(Right.InputType.Equals(Left.NarrowedType, TypeCompareKind.AllIgnoreOptions)); 26Debug.Assert(NarrowedType.Equals(Right.NarrowedType, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundConstantPattern.cs (5)
16Debug.Assert(NarrowedType.IsObjectType() || 17NarrowedType.Equals(Value.Type, TypeCompareKind.AllIgnoreOptions) || 18(ConstantValue == ConstantValue.Null && (InputType.IsNullableType() || !InputType.IsValueType) && NarrowedType.Equals(InputType, TypeCompareKind.AllIgnoreOptions))); 22Debug.Assert(NarrowedType.Equals(InputType, TypeCompareKind.AllIgnoreOptions) || 23NarrowedType.Equals(Value.Type, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundDeclarationPattern.cs (1)
14Debug.Assert(NarrowedType.Equals(DeclaredType.Type, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundDiscardPattern.cs (1)
13Debug.Assert(NarrowedType.Equals(InputType, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundITuplePattern.cs (2)
14Debug.Assert(NarrowedType.IsCompilerServicesTopLevelType() && NarrowedType.Name == "ITuple");
BoundTree\BoundListPattern.cs (3)
16return Update(subpatterns, this.HasSlice, this.LengthAccess, this.IndexerAccess, this.ReceiverPlaceholder, this.ArgumentPlaceholder, this.Variable, this.VariableAccess, this.IsUnionMatching, this.InputType, this.NarrowedType); 28Debug.Assert(NarrowedType.IsObjectType()); 32Debug.Assert(NarrowedType.Equals(InputType.StrippedType(), TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundNegatedPattern.cs (2)
16Debug.Assert(NarrowedType.IsObjectType()); 21Debug.Assert(NarrowedType.Equals(InputType, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundPatternWithUnionMatching.cs (5)
16Debug.Assert(UnionMatchingInputType == (object)(LeftOfPendingConjunction?.NarrowedType ?? InputType)); 17Debug.Assert(NarrowedType == (object)ValuePattern.NarrowedType); 22: this(syntax, unionType, leftOfPendingConjunction: null, valueProperty, pattern, inputType, pattern.NarrowedType) 27: this(syntax, unionType, leftOfPendingConjunction, valueProperty, pattern, inputType, pattern.NarrowedType)
BoundTree\BoundRecursivePattern.cs (3)
19Debug.Assert(NarrowedType.IsObjectType()); 23Debug.Assert(NarrowedType.Equals(InputType.StrippedType(), TypeCompareKind.AllIgnoreOptions)); 28Debug.Assert(NarrowedType.Equals(DeclaredType.Type, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundRelationalPattern.cs (4)
16Debug.Assert(NarrowedType.IsObjectType() || 17NarrowedType.Equals(Value.Type, TypeCompareKind.AllIgnoreOptions)); 21Debug.Assert(NarrowedType.Equals(InputType, TypeCompareKind.AllIgnoreOptions) || 22NarrowedType.Equals(Value.Type, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundSlicePattern.cs (2)
13return Update(pattern, this.IndexerAccess, this.ReceiverPlaceholder, this.ArgumentPlaceholder, this.InputType, this.NarrowedType); 21Debug.Assert(NarrowedType.Equals(InputType, TypeCompareKind.AllIgnoreOptions));
BoundTree\BoundTreeRewriter.cs (1)
375left = binary.Update(binary.Disjunction, left, right, VisitType(binary.InputType), VisitType(binary.NarrowedType));
BoundTree\BoundTypePattern.cs (1)
13Debug.Assert(NarrowedType.Equals(DeclaredType.Type, TypeCompareKind.AllIgnoreOptions));
BoundTree\NullabilityRewriter.cs (1)
159TypeSymbol narrowedType = GetUpdatedSymbol(currentBinary, currentBinary.NarrowedType);
Compilation\CSharpSemanticModel.cs (2)
2040pattern.InputType, pattern.NarrowedType, nullability: default, convertedNullability: default, 2041Compilation.Conversions.ClassifyBuiltInConversion(pattern.InputType, pattern.NarrowedType, isChecked: false, ref discardedUseSiteInfo));
FlowAnalysis\AbstractFlowPass.cs (1)
978rewritten.InputType, rewritten.NarrowedType);
Generated\BoundNodes.xml.Generated.cs (47)
8190if (value != this.Value || constantValue != this.ConstantValue || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8232if (!TypeSymbol.Equals(unionMatchingInputType, this.UnionMatchingInputType, TypeCompareKind.ConsiderEverything) || leftOfPendingConjunction != this.LeftOfPendingConjunction || valueProperty != this.ValueProperty || valuePattern != this.ValuePattern || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8272if (!TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8327if (declaredType != this.DeclaredType || isVar != this.IsVar || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(variable, this.Variable) || variableAccess != this.VariableAccess || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8368if (declaredType != this.DeclaredType || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(deconstructMethod, this.DeconstructMethod) || deconstruction != this.Deconstruction || properties != this.Properties || isExplicitNotNullTest != this.IsExplicitNotNullTest || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(variable, this.Variable) || variableAccess != this.VariableAccess || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8412if (subpatterns != this.Subpatterns || hasSlice != this.HasSlice || lengthAccess != this.LengthAccess || indexerAccess != this.IndexerAccess || receiverPlaceholder != this.ReceiverPlaceholder || argumentPlaceholder != this.ArgumentPlaceholder || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(variable, this.Variable) || variableAccess != this.VariableAccess || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8451if (pattern != this.Pattern || indexerAccess != this.IndexerAccess || receiverPlaceholder != this.ReceiverPlaceholder || argumentPlaceholder != this.ArgumentPlaceholder || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8493if (!Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(getLengthMethod, this.GetLengthMethod) || !Symbols.SymbolEqualityComparer.ConsiderEverything.Equals(getItemMethod, this.GetItemMethod) || subpatterns != this.Subpatterns || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8639if (declaredType != this.DeclaredType || isExplicitNotNullTest != this.IsExplicitNotNullTest || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8678if (disjunction != this.Disjunction || left != this.Left || right != this.Right || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8714if (negated != this.Negated || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 8755if (relation != this.Relation || value != this.Value || constantValue != this.ConstantValue || isUnionMatching != this.IsUnionMatching || !TypeSymbol.Equals(inputType, this.InputType, TypeCompareKind.ConsiderEverything) || !TypeSymbol.Equals(narrowedType, this.NarrowedType, TypeCompareKind.ConsiderEverything)) 12521TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12531TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12537TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12546TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12558TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12571TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12581TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12590TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12616TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12624TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12631TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 12638TypeSymbol? narrowedType = this.VisitType(node.NarrowedType); 15208TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15217TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15227TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15235TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15246TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15258TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15271TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15284TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15306TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15314TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 15322TypeSymbol narrowedType = GetUpdatedSymbol(node, node.NarrowedType); 17456new TreeDumperNode("narrowedType", node.NarrowedType, null), 17467new TreeDumperNode("narrowedType", node.NarrowedType, null), 17474new TreeDumperNode("narrowedType", node.NarrowedType, null), 17486new TreeDumperNode("narrowedType", node.NarrowedType, null), 17501new TreeDumperNode("narrowedType", node.NarrowedType, null), 17517new TreeDumperNode("narrowedType", node.NarrowedType, null), 17528new TreeDumperNode("narrowedType", node.NarrowedType, null), 17539new TreeDumperNode("narrowedType", node.NarrowedType, null), 17572new TreeDumperNode("narrowedType", node.NarrowedType, null), 17582new TreeDumperNode("narrowedType", node.NarrowedType, null), 17591new TreeDumperNode("narrowedType", node.NarrowedType, null), 17602new TreeDumperNode("narrowedType", node.NarrowedType, null),
Operations\CSharpOperationFactory.cs (12)
2587TypeSymbol narrowedType = boundConstantPattern.NarrowedType; 2598TypeSymbol narrowedType = boundRelationalPattern.NarrowedType; 2611ITypeSymbol narrowedType = boundDeclarationPattern.NarrowedType.GetPublicSymbol(); 2635boundRecursivePattern.NarrowedType.GetPublicSymbol(), 2654boundITuplePattern.NarrowedType.GetPublicSymbol(), 2663matchedType: boundTypePattern.NarrowedType.GetPublicSymbol(), 2665narrowedType: boundTypePattern.NarrowedType.GetPublicSymbol(), 2678narrowedType: boundNode.NarrowedType.GetPublicSymbol(), 2692narrowedType: boundNode.NarrowedType.GetPublicSymbol(), 2703boundNegatedPattern.NarrowedType.GetPublicSymbol(), 2743boundBinaryPattern.NarrowedType.GetPublicSymbol(), 2912narrowedType: boundNode.NarrowedType.GetPublicSymbol(),