A question, what would the diagnostics be for something like this?

X = 123

class Foo(X):
   pass

class Bar(Foo):
   pass

Is it going to complain at both Foo and Bar, or just Foo? I'm thinking about the case where we get this wrong in one place, and it infects an inheritance tree. (Particularly for classes that come from mis-analyzed libraries or similar.)

A question, what would the diagnostics be for something like this?

X = 123

class Foo(X):
   pass

class Bar(Foo):
   pass

Is it going to complain at both Foo and Bar, or just Foo? I'm thinking about the case where we get this wrong in one place, and it infects an inheritance tree. (Particularly for classes that come from mis-analyzed libraries or similar.)

Just tested it. It only complains at Foo. It will only complain about a direct inheritance, not a chain.

Perfect, but would you mind adding a test for it so we don't regress later on? (And fix the merge conflicts). Then this should be good.

Sorry, just haven't pushed test yet.