Assert

alrz · alrz · commit 54f5259d7ff9 · 2022-01-22T23:46:38.000+03:30
diff --git a/src/Compilers/CSharp/Portable/Lowering/LocalRewriter/LocalRewriter_IsPatternOperator.cs b/src/Compilers/CSharp/Portable/Lowering/LocalRewriter/LocalRewriter_IsPatternOperator.cs
@@ -225,6 +225,7 @@ public BoundExpression LowerIsPatternAsLinearTestSequence(
                 BoundIsPatternExpression isPatternExpression, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel)
             {
                 BoundDecisionDag decisionDag = isPatternExpression.DecisionDag;
+                Debug.Assert(!decisionDag.ContainsAnySynthesizedNodes());
                 BoundExpression loweredInput = _localRewriter.VisitExpression(isPatternExpression.Expression);
 
                 // The optimization of sharing pattern-matching temps with user variables can always apply to

Original file line number	Diff line number	Diff line change
`@@ -225,6 +225,7 @@ public BoundExpression LowerIsPatternAsLinearTestSequence(`
`225`	`225`	`BoundIsPatternExpression isPatternExpression, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel)`
`226`	`226`	`{`
`227`	`227`	`BoundDecisionDag decisionDag = isPatternExpression.DecisionDag;`
	`228`	`+ Debug.Assert(!decisionDag.ContainsAnySynthesizedNodes());`
`228`	`229`	`BoundExpression loweredInput = _localRewriter.VisitExpression(isPatternExpression.Expression);`
`229`	`230`
`230`	`231`	`// The optimization of sharing pattern-matching temps with user variables can always apply to`