Положить структуру одного типа в список, предназначенный для другого, а потом искать причину падения программы — вполне реальный сценарий в C. Особенно если контейнер принимает универсальный указатель `void *`: он охотно пропустит данные, смысл которых уже не способен проверить. Дэниел Хупер в статье от 25 июня 2025 года показал способ вернуть такую проверку компилятору. Его идея — связать универсальную структуру данных с типом элемента через объединение `union`, а затем использовать эту связь в небольших макросах...