Match não exaustivo em um tipo fechado

Um `match` sobre um tipo fechado — `bool`, um enum (incluindo payloads), um optional de payload fechado, uma union fechada, ou tuplas/records de campos fechados — tem braços sem guard que não cobrem todos os valores possíveis. Um braço com guard nunca prova cobertura, porque o guard pode avaliar para `false`.