Ministro Humberto Martins reconheceu que a exoneração solicitada pelo ex-juiz da Lava Jato, em novembro de 2018, 'tem disciplina diversa da aposentadoria voluntária' e que, nesse caso, a instauração de procedimento disciplinar 'não teria nenhuma utilidade'