Vala dispone de comprobación de tipos dinámica para asegurarse de que la conversión es factible.