as far as I see, it also must be exhaustive when d...

# announcements

[bernhard]

as far as I see, it also must be exhaustive when directly assigned to a function, also when the return type is Unit