igual ao comprimento. | Verifique `count($arr)` antes de indexar ou verificar a existência com `array_key_exists`. | | `JOSS-INDEX-002` | Tempo de execução | Tipo de índice não suportado pela estrutura de dados. | Matrizes de índice com inteiros e mapas com strings de texto. | — ## 6. Casos de teste verificados completos As operações de canal também têm defesas runtime estáveis. `JOSS-CHANNEL-001` ocorre ao fechar duas vezes um canal ou enviar após o fechamento; o vizinho válido é enviar enquanto estiver aberto e fechá-lo apenas uma vez. `JOSS-CHANNEL-002` ocorre com `make_chan(-1)`; `make_chan(0)` é uma capacidade válida para um canal sem buffer. Esses estados podem depender de outra tarefa concorrente, então o analyzer não pode substituir a defesa runtime. Abaixo estão exemplos executáveis que validam formalmente a emissão dos diagnósticos e sua contraparte correta: ### Tipo inexistente ou alias excluído (`JOSS-TYPE-009`)

integer $edad = 20

Caso corrigido com tipo canônico int:

int $edad = 20
print($edad)

— ### Parâmetro sem tipo explícito (JOSS-TYPE-011)

public func duplicar($valor) { return $valor * 2 }

Caso corrigido digitando o parâmetro e o retorno:

public func duplicar(int $valor): int { return $valor * 2 }
print(duplicar(3))

— ### Remapear com tipo incompatível (JOSS-TYPE-001)

$edad = 20
$edad = "veinte"

Caso corrigido usando dinamismo voluntário (mixed):

mixed $dato = 20
$dato = "veinte"
print($dato)

— ### Estreitamento inseguro de coleção mutável (JOSS-TYPE-012)

Compatibilidade legada permite a operação, mas o analisador avisa porque os dois nomes podem compartilhar a mesma coleção mutável.

array $origen = [1]
array<int> $numeros = $origen

Caso seguro que mantém o tipo desde a origem:

array<int> $origen = [1]
array<int> $numeros = $origen
print($numeros[0])

— ### Retorno ausente nos caminhos de fluxo (JOSS-TYPE-010)

public func signo(int $n): string {
    $n > 0 ? { return "positivo" } : {}
}

Caso corrigido garantindo retorno em todas as rotas possíveis:

public func signo(int $n): string {
    return $n > 0 ? "positivo" : "no positivo"
}
print(signo(0))

Match não exaustivo em enum (`JOSS-FLOW-002`)

public enum Estado {
    case Activo;
    case Inactivo;
}

public func describir(Estado $e): string {
    return match ($e) {
        Estado::Activo => "activo",
    }
}

Caso corrigido cobrindo exaustivamente todos os casos do enum:

public enum Estado {
    case Activo;
    case Inactivo;
}

public func describir(Estado $e): string {
    return match ($e) {
        Estado::Activo => "activo",
        Estado::Inactivo => "inactivo",
    }
}
print(describir(Estado::Activo))

— ## Próxima etapa Agora que você conhece todos os diagnósticos e como resolvê-los, você pode se aprofundar em como o analisador semântico examina a árvore de sintaxe abstrata para gerar esses códigos: Continue com: AST Static Analyzer.

Acesso potencialmente nulo (`JOSS-FLOW-003`)

public class Usuario { public string $nombre = "Ada" }
public func nombre(Usuario|null $usuario): string {
    return $usuario->nombre
}

Caso corrigido com acesso seguro:

public class Usuario { public string $nombre = "Ada" }
public func nombre(Usuario|null $usuario): string {
	return $usuario == null ? "sin usuario" : $usuario->nombre
}
print(nombre(null))

Diagnósticos

Match não exaustivo em enum (JOSS-FLOW-002)

Acesso potencialmente nulo (JOSS-FLOW-003)

Match não exaustivo em enum (`JOSS-FLOW-002`)

Acesso potencialmente nulo (`JOSS-FLOW-003`)