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

>И если необходимое преобразование типов аргументов не является noop, то у тебя в программе баг.

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