TypeFunction example: reason about class hierachies

[Stefan Koch]

On Saturday, 24 October 2020 at 22:59:00 UTC, Adam D. Ruppe wrote:
> 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?

Because that only works when you have a new socpe.
I _could_ inject a fake variable but it's a really nasty thing to 
do, since it's an AST change.
I do not want to change the AST of the function.
Really not.