13 references to Meet
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (3)
5141resultState = leftType.State.Meet(rightType.State); 12620node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.State) : NullableFlowState.MaybeNull); 13482var 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)
126954Func<int, int, NullableFlowState> getResult = (i, j) => inputs[i].Meet(inputs[j]); 127011Assert.Equal(a, a.Meet(a.Join(b))); 127012Assert.Equal(a, a.Join(a.Meet(b))); 127077var leftFirst = a.Meet(b).Meet(c); 127078var rightFirst = a.Meet(b.Meet(c)); 127156var leftFirst = a.Meet(b); 127157var rightFirst = b.Meet(a);