Do not throw an exception when a when-statement with no else makes no match