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

Copiertype Couleur = "rouge" | "vert" | "orange";

function prochaine(c: Couleur): Couleur {
  switch (c) {
    case "rouge":  return "vert";
    case "vert":   return "orange";
    case "orange": return "rouge";
    default:
      const _exhaustif: never = c;
      throw new Error(`Couleur inconnue : ${_exhaustif}`);
  }
}

let c: Couleur = "rouge";
for (let i = 0; i < 3; i++) {
  const suivante = prochaine(c);
  console.log(`${c} → ${suivante}`);
  c = suivante;
}

Copierrouge → vert
vert → orange
orange → rouge