diff --git a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java index 4356372f..17ef08c2 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java @@ -822,6 +822,10 @@ public class TYPEStmt implements StatementVisitor { public void visit(Switch switchStmt) { switchStack.push(switchStmt); + if(switchStmt.getSwitch().getType() instanceof TypePlaceholder){ + ((TypePlaceholder) switchStmt.getSwitch().getType()).setVariance(1); + } + RefTypeOrTPHOrWildcardOrGeneric caseExpressionType = null; for (var child : switchStmt.getBlocks()) { for (var label : child.getLabels()) {