Levado ao posto por Bolsonaro, procurador-geral da República deixa o cargo após quatro anos
O nome será oficializado em edição especial do Diário Oficial da União.