короче, кастомный анализатор
если видит ImmutableAttribute над классом (в стандартной либе)
Чекает что все поля:
1. Структуры ИЛИ
2. ImmutableCollections с классом с таким же атрибутом
3. Реф классы с таким же атрибутом
соответственно анализатор рекурсивный