Sirraide wrote: Since we’re on to C++ support now, here’s one more fun case: ```c++ class A {}; A a; class B : typeof(A) {}; class C : typeof(a) {}; ``` https://github.com/llvm/llvm-project/pull/146394