Вы делаете derive macro.
Сгенерированный код должен создать значение для поля из строки.
Тип поля может быть реализует
FromStr. А может быть он реализует serde::Deserialize и строка это JSON.Нужно что бы сгенерированный код воспользовался тем что есть. А если ничего нет, то сгенерированный код не должен компилироваться вовсе.
Задача со звёздочкой. Читать только если знаешь как решить без звёдочки.
Найти решение без использования атрибутов