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?

Also why would I support such un-intuitive syntax?
Are there any reasons other than backwards compatibility?