Add assertion that we are on the correct side of the class' split personality

eregon · timfel · commit 5f8faec9bab3 · 2025-11-05T14:53:09.000+01:00
diff --git a/graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/type/TypeNodes.java b/graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/type/TypeNodes.java
@@ -1535,6 +1535,7 @@ static boolean doOther(Object left, Object right,
                             if (leftIsStatic) {
                                 left = lib.readMember(left, "class");
                             } else {
+                                assert rightIsStatic;
                                 right = lib.readMember(right, "class");
                             }
                         } catch (UnsupportedMessageException | UnknownIdentifierException e) {

Original file line number	Diff line number	Diff line change
`@@ -1535,6 +1535,7 @@ static boolean doOther(Object left, Object right,`
`1535`	`1535`	`if (leftIsStatic) {`
`1536`	`1536`	`left = lib.readMember(left, "class");`
`1537`	`1537`	`} else {`
	`1538`	`+ assert rightIsStatic;`
`1538`	`1539`	`right = lib.readMember(right, "class");`
`1539`	`1540`	`}`
`1540`	`1541`	`} catch (UnsupportedMessageException \| UnknownIdentifierException e) {`