> Как это не будет выполняться, выполняется же. Если я в качестве в
> колбека передаю функцию вида void a(View *view) {}, то всё ок,
> могу передать int b(){} например, и мне ничего за это не
> будет, она вызовется и правильно без багов отработает, только gcc варнинг
> кинет.

Это зависит от конвенции вызова. На самом деле это UB. Никаких гарантий на результат тебе компилятор не даёт.

>>И если необходимое преобразование типов аргументов не является noop, то у тебя в программе баг.
> Было бы очень странно в качестве колбека передавать что-то, что требует чего-то
> кроме ссылки на View, в таком случае проблема явно не в
> языке.

Можно передать SubView, если он производный тип от View. Впрочем, мне кажется, в EFL это сработает так, как ты описываешь, потому как преобразование типа от SubView к View -- это noop в EFL. А вот если SubView не является подтипом, тогда в лямбде ты можешь завернуть его в тип-адаптер, который будет реализовывать методы View, транслируя их в вызовы SubView.