unexpected noreturn behavior

[Paul Backus]

On Thursday, 21 April 2022 at 12:54:12 UTC, Dennis wrote:
> On Thursday, 21 April 2022 at 12:41:08 UTC, WebFreak001 wrote:
>> which I think is a little bug-prone, but at least that would 
>> solve my issues.
>
> What issue do you have with it returning `true`?

Presumably the problem is that if you write something like 
`assert(0).match!();`, you get a spew of compiler errors, on 
account of the fact that `match` assumes anything that satisfies 
`isSumType` has properties like `Types` and `get!T`.