Explicar las aserciones de tipo en Go

Estoy leyendo sobre aserciones de tipox.(T) enEl lenguaje de programación Go y no los entiendo

Entiendo que hay diferentes escenarios:

T es un tipo concreto o una interfazSe pueden devolver uno (¿valor afirmado?) O dos (ok) valores

Esto es lo que no entiendo:

¿Por qué los usaría?¿Qué regresan exactamente?

También busqué en Google el tema y todavía no lo entiendo.

Respuestas a la pregunta(3)

Su respuesta a la pregunta