Case guard

A Boolean condition after when that must be true in addition to an already matching switch pattern.