Foi ajuizada pela Procuradoria-Geral da República (PGR), no Supremo Tribunal Federal (STF) a Ação Direta de Inconstitucionalidade (ADI) 6785 contra dispositivos da Lei 12.869/2013, que dispõem sobre o regime de permissão dos serviços lotéricos. A ação foi distribuída pelo procurador-geral, Augusto Aras, ao ministro Edson Fachin.