Каким образом компилятор распознает и проверяет соответствие интерфейса, помеченного как функциональный?