Je souhaiterai qu'un méthode prenne en paramètre uniquement une instance d'une classe fille d'une classe abstraite et qui a un atttribut défini
(l'attribut n'étant pas définit sur la classe abstraite mère)

Est-il possible que cela soit vérifier au compil time?

Merci d'avance pour vos reponses