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) ------ - Alex