When expression must be exhaustive, add necessary ...

# announcements

[egslava]

When expression must be exhaustive, add necessary is AddPoint, is Lids, … or else branch instead