fix regression be more complete propagation of outerExpressionType

eclipse-jdt · Oct 23, 2024 · c6e81db · c6e81db
1 parent 7d2f381
commit c6e81db
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/...t.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/ast/EitherOrMultiPattern.java b/...t.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/ast/EitherOrMultiPattern.java
@@ -54,6 +54,13 @@ public void setIsGuarded() {
 			this.patterns[i].setIsGuarded();
 	}
 
+	@Override
+	public void setOuterExpressionType(TypeBinding expressionType) {
+		super.setOuterExpressionType(expressionType);
+		for (int i = 0; i < this.patternsCount; i++)
+			this.patterns[i].setOuterExpressionType(expressionType);
+	}
+
 	@Override
 	public TypeBinding resolveType(BlockScope scope) {
 		boolean hasError = false;

diff --git a/...pse.jdt.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/ast/GuardedPattern.java b/...pse.jdt.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/ast/GuardedPattern.java
@@ -76,6 +76,12 @@ public void setIsEitherOrPattern() {
 		this.primaryPattern.setIsEitherOrPattern();
 	}
 
+	@Override
+	public void setOuterExpressionType(TypeBinding expressionType) {
+		super.setOuterExpressionType(expressionType);
+		this.primaryPattern.setOuterExpressionType(expressionType);
+	}
+
 	@Override
 	public boolean coversType(TypeBinding type, Scope scope) {
 		return isUnguarded() && this.primaryPattern.coversType(type, scope);