Verificando tipos em tempo de compilação com satisfies
TypeScript é excelente em inferir tipos, mas essa inferência muitas vezes entra em conflito com a necessidade de validar estruturas. Quando anotamos um tipo explicitamente, perdemos informações literais preciosas. O satisfies operador, introduzido no TypeScript 4.9, resolve exatamente esse dilema: ele verifica se um valor satisfaz um tipo sem alterar o tipo inferido.