updateTitle (source: ^a) (destination: ^b) =
{destination with title = source.title}В таком виде это нормально не инлайнится - работает до первого выведения типов, дальше везде ожидает такой же тип, как в первом случае. Ну и ворнинг в самой функции есть, что несколько типов подходят под описание
Нет, обновление записей с SRTP не дружит.
Обсуждают сегодня