Skip to content

Commit 86bedbd

Browse files
add subtyping checks for side variance
1 parent 4614835 commit 86bedbd

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/main/java/io/github/bldl/astParsing/visitors/SubtypingCheckVisitor.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -197,6 +197,9 @@ private boolean isValidSubtype(ClassOrInterfaceType assigneeType, ClassOrInterfa
197197
return classHierarchy.isDescendant(
198198
((ClassOrInterfaceType) assignedArgs.get(i)).getNameAsString(),
199199
((ClassOrInterfaceType) assigneeArgs.get(i)).getNameAsString(), mp.get(i).depth());
200+
case SIDE:
201+
return classHierarchy.sameLevel(((ClassOrInterfaceType) assignedArgs.get(i)).getNameAsString(),
202+
((ClassOrInterfaceType) assigneeArgs.get(i)).getNameAsString());
200203
default:
201204
return false;
202205
}

0 commit comments

Comments
 (0)