Type union "rouge" | "vert" | "orange"

Énoncé

Définir le type type Couleur = "rouge" | "vert" | "orange" et une fonction prochaine(c: Couleur): Couleur qui retourne la couleur suivante dans le cycle rouge → vert → orange → rouge. Le compilateur TypeScript doit rejeter tout appel avec une valeur hors de l'union. Afficher les trois transitions successives à partir de "rouge".

Contraintes

• TypeScript ≥ 5.0, mode strict activé ("strict": true).
• Le type Couleur doit être une union de littéraux de type string (pas un enum).
• La fonction prochaine doit être exhaustive : utiliser un switch ou une correspondance complète. Le compilateur doit signaler un oubli si une branche manque (via un never check ou as never).
• Pas de bibliothèque externe.

Exemple

En partant de "rouge" et en enchaînant trois transitions, sortie attendue :

Copierrouge → vert
vert → orange
orange → rouge

Le contrôle d'exhaustivité se vérifie en retirant temporairement une branche : tsc doit alors signaler une erreur, sans quoi le never n'est pas en place.