Regra que fortalece tipos, convertendo qualquer para tipos inferidos.
qualquer
Exemplos:
var x = 5
var x: número = 5
var nomes = []
var nomes: vetor = []
constante PI = 3.14
constante PI: número = 3.14
Descrição do que a regra faz.
Nome da regra para identificação e logs.
Aplica a regra em uma declaração.
A declaração a ser verificada/transformada.
A declaração (modificada ou não).
Regra que fortalece tipos, convertendo
qualquerpara tipos inferidos.Exemplos:
var x = 5com tipoqualquer→var x: número = 5var nomes = []com tipoqualquer→var nomes: vetor = []constante PI = 3.14com tipoqualquer→constante PI: número = 3.14