Проверка корректности type assertion между интерфейсами

Необходимо определить что выведет программа. Допустим ли type assertion из одного интерфейса в другой и приведёт ли выполнение программы к ошибке