13 references to Meet
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (3)
5138resultState = leftType.State.Meet(rightType.State); 12658node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.State) : NullableFlowState.MaybeNull); 13520var newValue = oldValue.Meet(other.GetValue(i));
Symbols\ConstraintsHelper.cs (1)
1261result = result.Value.Meet(constraintState);
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (9)
Semantics\NullableReferenceTypesTests.cs (9)
126953Func<int, int, NullableFlowState> getResult = (i, j) => inputs[i].Meet(inputs[j]); 127010Assert.Equal(a, a.Meet(a.Join(b))); 127011Assert.Equal(a, a.Join(a.Meet(b))); 127076var leftFirst = a.Meet(b).Meet(c); 127077var rightFirst = a.Meet(b.Meet(c)); 127155var leftFirst = a.Meet(b); 127156var rightFirst = b.Meet(a);