13 references to Meet
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (3)
5137resultState = leftType.State.Meet(rightType.State); 12657node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.State) : NullableFlowState.MaybeNull); 13521var newValue = oldValue.Meet(other.GetValue(i));
Symbols\ConstraintsHelper.cs (1)
1259result = result.Value.Meet(constraintState);
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (9)
Semantics\NullableReferenceTypesTests.cs (9)
127015Func<int, int, NullableFlowState> getResult = (i, j) => inputs[i].Meet(inputs[j]); 127072Assert.Equal(a, a.Meet(a.Join(b))); 127073Assert.Equal(a, a.Join(a.Meet(b))); 127138var leftFirst = a.Meet(b).Meet(c); 127139var rightFirst = a.Meet(b.Meet(c)); 127217var leftFirst = a.Meet(b); 127218var rightFirst = b.Meet(a);