2085public sealed class True : Tests 2106public sealed class False : Tests 2129public sealed class One : Tests 2274public sealed class Not : Tests 2319public abstract class SequenceTests : Tests

191Tests tests = MakeAndSimplifyTestsAndBindings(input, pattern, out ImmutableArray<BoundPatternBinding> bindings); 195private Tests MakeAndSimplifyTestsAndBindings( 201Tests tests = MakeTestsAndBindings(input, pattern, bindingsBuilder); 207private static Tests SimplifyTestsAndBindings( 208Tests tests, 224var result = scanAndSimplify(tests); 228Tests scanAndSimplify(Tests tests) 232case Tests.SequenceTests seq: 235var newSequence = ArrayBuilder<Tests>.GetInstance(length); 242case Tests.True _: 243case Tests.False _: 245case Tests.One(BoundDagEvaluation e): 254return Tests.True.Instance; 256case Tests.One(BoundDagTest d): 260case Tests.Not n: 261return Tests.Not.Create(scanAndSimplify(n.Negated)); 268private Tests MakeTestsAndBindings( 281private Tests MakeTestsAndBindings( 297return Tests.True.Instance; 318private Tests MakeTestsAndBindingsForITuplePattern( 332var tests = ArrayBuilder<Tests>.GetInstance(4 + patternLength * 2); 334tests.Add(new Tests.One(new BoundDagTypeTest(syntax, iTupleType, input))); 336tests.Add(new Tests.One(valueAsITupleEvaluation)); 341tests.Add(new Tests.One(lengthEvaluation)); 343tests.Add(new Tests.One(new BoundDagValueTest(syntax, ConstantValue.Create(patternLength), lengthTemp))); 349tests.Add(new Tests.One(indexEvaluation)); 354return Tests.AndSequence.Create(tests); 391private Tests MakeTestsAndBindingsForDeclarationPattern( 398var tests = ArrayBuilder<Tests>.GetInstance(1); 416return Tests.AndSequence.Create(tests); 419private Tests MakeTestsForTypePattern( 425var tests = ArrayBuilder<Tests>.GetInstance(4); 427return Tests.AndSequence.Create(tests); 434ArrayBuilder<Tests> tests) 441tests.Add(new Tests.One(new BoundDagNonNullTest(syntax, isExplicitTest, input))); 453ArrayBuilder<Tests> tests) 471tests.Add(new Tests.One(new BoundDagTypeTest(syntax, type, input))); 476tests.Add(new Tests.One(evaluation)); 482private Tests MakeTestsForConstantPattern( 490return new Tests.One(new BoundDagExplicitNullTest(constant.Syntax, input)); 495return new Tests.One(new BoundDagValueTest(constant.Syntax, constant.ConstantValue, input)); 499var tests = ArrayBuilder<Tests>.GetInstance(2); 506tests.Add(Tests.False.Instance); 510tests.Add(new Tests.One(new BoundDagValueTest(constant.Syntax, constant.ConstantValue, input))); 512return Tests.AndSequence.Create(tests); 516private Tests MakeTestsAndBindingsForRecursivePattern( 524var tests = ArrayBuilder<Tests>.GetInstance(5); 534tests.Add(new Tests.One(evaluation)); 564tests.Add(new Tests.One(evaluation)); 574tests.Add(new Tests.One(new BoundDagTypeTest(recursive.Syntax, ErrorType(), input, hasErrors: true))); 588tests.Add(new Tests.One(new BoundDagTypeTest(recursive.Syntax, ErrorType(), input, hasErrors: true))); 603return Tests.AndSequence.Create(tests); 630tests.Add(new Tests.One(evaluation)); 636private Tests MakeTestsAndBindingsForNegatedPattern(BoundDagTemp input, BoundNegatedPattern neg, ArrayBuilder<BoundPatternBinding> bindings) 638var tests = MakeTestsAndBindings(input, neg.Negated, bindings); 639return Tests.Not.Create(tests); 642private Tests MakeTestsAndBindingsForBinaryPattern( 660Tests result = MakeTestsAndBindings(input, currentNode.Left, out output, bindings); 671static Tests makeTestsAndBindingsForBinaryPattern(DecisionDagBuilder @this, Tests leftTests, BoundDagTemp leftOutput, BoundDagTemp input, BoundBinaryPattern bin, out BoundDagTemp output, ArrayBuilder<BoundPatternBinding> bindings) 673var builder = ArrayBuilder<Tests>.GetInstance(2); 678var result = Tests.OrSequence.Create(builder); 686builder = ArrayBuilder<Tests>.GetInstance(2); 690builder.Add(new Tests.One(evaluation)); 691return Tests.AndSequence.Create(builder); 700return Tests.AndSequence.Create(builder); 705private Tests MakeTestsAndBindingsForRelationalPattern( 713var tests = ArrayBuilder<Tests>.GetInstance(2); 719tests.Add(Tests.False.Instance); 723tests.Add(new Tests.One(new BoundDagRelationalTest(rel.Syntax, rel.Relation, rel.ConstantValue, output, rel.HasErrors))); 726return Tests.AndSequence.Create(tests); 1014RoslynDebug.Assert(!(first.RemainingTests is Tests.False)); 1081stateForCase.RemainingTests.Filter(this, test, state, whenTrueValues, whenFalseValues, out Tests whenTrueTests, out Tests whenFalseTests, ref foundExplicitNullTest); 1213var remainingTests = stateForCase.RemainingTests.RemoveEvaluation(e); 1214if (remainingTests is Tests.False) 1416out Tests relationCondition, 1417out Tests relationEffect) 1419relationCondition = Tests.True.Instance; 1420relationEffect = Tests.True.Instance; 1442ArrayBuilder<Tests>? conditions = null; 1456relationCondition = Tests.AndSequence.Create(conditions); 1460relationEffect = new Tests.One(new BoundDagAssignmentEvaluation(syntax, target: other.Input, input: test.Input)); 1500(conditions ??= ArrayBuilder<Tests>.GetInstance()).Add(new Tests.One(new BoundDagValueTest(syntax, ConstantValue.Create(lengthValue), s1LengthTemp))); 1987public readonly Tests RemainingTests; 1994Tests RemainingTests, 2010public bool IsFullyMatched => RemainingTests is Tests.True && (WhenClause is null || WhenClause.ConstantValueOpt == ConstantValue.True); 2015public bool PatternIsSatisfied => RemainingTests is Tests.True; 2021public bool IsImpossible => RemainingTests is Tests.False; 2041public StateForCase WithRemainingTests(Tests newRemainingTests) 2048/// <inheritdoc cref="Tests.RewriteNestedLengthTests"/> 2071out Tests whenTrue, 2072out Tests whenFalse, 2075public virtual Tests RemoveEvaluation(BoundDagEvaluation e) => this; 2079public virtual Tests RewriteNestedLengthTests() => this; 2095out Tests whenTrue, 2096out Tests whenFalse, 2116out Tests whenTrue, 2117out Tests whenFalse, 2140out Tests whenTrue, 2141out Tests whenFalse, 2148relationCondition: out Tests relationCondition, 2149relationEffect: out Tests relationEffect)) 2197static Tests rewrite(bool decisionImpliesTrueOther, bool decisionPermitsTrueOther, Tests relationCondition, Tests relationEffect, Tests other) 2207public override Tests RemoveEvaluation(BoundDagEvaluation e) => e.Equals(Test) ? Tests.True.Instance : (Tests)this; 2211public override Tests RewriteNestedLengthTests() 2250static Tests? knownResult(BinaryOperatorKind relation, ConstantValue constant, int offset) 2277public readonly Tests Negated; 2278private Not(Tests negated) => Negated = negated; 2279public static Tests Create(Tests negated) => negated switch 2281Tests.True _ => Tests.False.Instance, 2282Tests.False _ => Tests.True.Instance, 2283Tests.Not n => n.Negated, // double negative 2284Tests.AndSequence a => new Not(a), 2285Tests.OrSequence a => Tests.AndSequence.Create(NegateSequenceElements(a.RemainingTests)), // use demorgan to prefer and sequences 2286Tests.One o => new Not(o), 2289private static ArrayBuilder<Tests> NegateSequenceElements(ImmutableArray<Tests> seq) 2291var builder = ArrayBuilder<Tests>.GetInstance(seq.Length); 2292foreach (var t in seq) 2297public override Tests RemoveEvaluation(BoundDagEvaluation e) => Create(Negated.RemoveEvaluation(e)); 2298public override Tests RewriteNestedLengthTests() => Create(Negated.RewriteNestedLengthTests()); 2307out Tests whenTrue, 2308out Tests whenFalse, 2311Negated.Filter(builder, test, state, whenTrueValues, whenFalseValues, out var whenTestTrue, out var whenTestFalse, ref foundExplicitNullTest); 2321public readonly ImmutableArray<Tests> RemainingTests; 2322protected SequenceTests(ImmutableArray<Tests> remainingTests) 2327public abstract Tests Update(ArrayBuilder<Tests> remainingTests); 2334out Tests whenTrue, 2335out Tests whenFalse, 2338var trueBuilder = ArrayBuilder<Tests>.GetInstance(RemainingTests.Length); 2339var falseBuilder = ArrayBuilder<Tests>.GetInstance(RemainingTests.Length); 2340foreach (var other in RemainingTests) 2342other.Filter(builder, test, state, whenTrueValues, whenFalseValues, out Tests oneTrue, out Tests oneFalse, ref foundExplicitNullTest); 2350public sealed override Tests RemoveEvaluation(BoundDagEvaluation e) 2352var builder = ArrayBuilder<Tests>.GetInstance(RemainingTests.Length); 2353foreach (var test in RemainingTests) 2358public sealed override Tests RewriteNestedLengthTests() 2360var builder = ArrayBuilder<Tests>.GetInstance(RemainingTests.Length); 2361foreach (var test in RemainingTests) 2383private AndSequence(ImmutableArray<Tests> remainingTests) : base(remainingTests) { } 2384public override Tests Update(ArrayBuilder<Tests> remainingTests) => Create(remainingTests); 2385public static Tests Create(Tests t1, Tests t2) 2390var builder = ArrayBuilder<Tests>.GetInstance(2); 2395public static Tests Create(ArrayBuilder<Tests> remainingTests) 2415var result = remainingTests.Count switch 2462private OrSequence(ImmutableArray<Tests> remainingTests) : base(remainingTests) { } 2464public override Tests Update(ArrayBuilder<Tests> remainingTests) => Create(remainingTests); 2465public static Tests Create(Tests t1, Tests t2) 2470var builder = ArrayBuilder<Tests>.GetInstance(2); 2475public static Tests Create(ArrayBuilder<Tests> remainingTests) 2495var result = remainingTests.Count switch

14private Tests MakeTestsAndBindingsForListPattern(BoundDagTemp input, BoundListPattern list, out BoundDagTemp output, ArrayBuilder<BoundPatternBinding> bindings) 24var tests = ArrayBuilder<Tests>.GetInstance(4 + subpatterns.Length * 2); 29tests.Add(new Tests.One(new BoundDagTypeTest(list.Syntax, ErrorType(), input, hasErrors: true))); 43tests.Add(new Tests.One(lengthEvaluation)); 45tests.Add(new Tests.One(list.HasSlice 67tests.Add(new Tests.One(sliceEvaluation)); 82tests.Add(new Tests.One(indexEvaluation)); 93return Tests.AndSequence.Create(tests);