import { Declaracao } from '../../declaracoes';
import { RegraEstilizacao } from '../../interfaces/estilizador-comum-interface';
/**
 * Regra que fortalece tipos, convertendo `qualquer` para tipos inferidos.
 *
 * Exemplos:
 * - `var x = 5` com tipo `qualquer` → `var x: número = 5`
 * - `var nomes = []` com tipo `qualquer` → `var nomes: vetor = []`
 * - `constante PI = 3.14` com tipo `qualquer` → `constante PI: número = 3.14`
 */
export declare class RegraFortalecerTipos implements RegraEstilizacao {
    nome: string;
    descricao: string;
    aplicarEmDeclaracao(declaracao: Declaracao): Declaracao;
    /**
     * Fortalece o tipo de uma declaração Var.
     */
    private fortalecerTipoVar;
    /**
     * Fortalece o tipo de uma declaração Const.
     */
    private fortalecerTipoConst;
    /**
     * Infere o tipo de um construto.
     */
    private inferirTipoDeConstruto;
}
//# sourceMappingURL=fortalecer-tipos.d.ts.map