Citation: 2C_431/2020 E. 1.3

1.3. Selon un principe général de procédure, les conclusions constatatoires ont un caractère subsidiaire et ne sont recevables que lorsque des conclusions condamnatoires ou formatrices sont exclues (cf. ATF 141 II 113 consid. 1.7 p. 123 et les arrêts cités). Or, tant la conclusion tendant à l'annulation de l'arrêt du 7 avril 2020 de la Cour de justice que celle tendant à la délivrance d'une autorisation de séjour en vue du mariage englobent les conclusions tendant à constater que l'arrêt précité n'est pas conforme au droit et que le recourant remplit toutes les conditions permettant la délivrance de l'autorisation sollicitée, de sorte que celles-ci sont irrecevables.