On Saturday, 24 October 2020 at 21:01:19 UTC, Stefan Koch wrote: > The main blocker is that it that `SuperType` is Identifier, I > would have to change the way Is Expressions are represented. > And inject a variable into the scope. They already do that, so why can't you just use the existing code?