More operators inside `is(...)` expressions

[Steven Schveighoffer]

On 8/25/20 3:12 AM, Alexandru Ermicioi wrote:
> On Monday, 24 August 2020 at 12:28:27 UTC, Stefan Koch wrote:
>> 1) Complicating the rules for is expressions further
> 
> It will complicate a lot more since, you can do type matching chains in 
> is expression:
> 
> ------
> is(T : Z[], Z != X, X : SomeType)
> ------
> 

That doesn't look valid according to the grammar. Or if it passes, it 
may not do what you think it does. You sure this works?

-Steve