Я сказал "пар", потому что проверка идет строго последовательно, по вариантам. И в итоге выполняется первая ветка, в которой имеется корреляция между var и type: var IS type.

По поводу ветки - может и не стоит дублировать, но хочется как-то оживить ветку про языки на КД