''Yürürlüğe girmiş bir kanunun bir kişiye veya bir mahkemede görülmekte olan bir
davada uygulanması beklenmeden, anayasaların ön gördüğü yetkili kişi veya organlar tarafından o kanuna Anayasa Mahkemesi’ne doğrudan iptal davası açılmasıdır.'' Tanımı yapılmış olan dava türü aşağıdakilerden hangisidir?