Здравствуйте, Serginio1, Вы писали:

S>Ну мы же можем скопировать тело конструктора предка в конструктор потомка.
В предке нет никакого тела конструктора. Точно ли мы хотим дописать в конструктор потомка _a = default(), подразумевая семантику Child(int b) : base()?

Здравствуйте, Serginio1, Вы писали:

S>Ну мы же можем скопировать тело конструктора предка в конструктор потомка.
Для начала — насколько я понял, SG не могут модифицировать код.
То есть мы уже выбежали за пределы source generator.
Далее, если мы попробуем делать какие-то ещё приседания на воображаемом будущем АПИ расширения компилятора: в предке нет никакого тела конструктора. Точно ли мы хотим дописать в конструктор потомка _a = default(), подразумевая семантику Child(int b) : base()?
Что делать, если в предке определён параметризованный конструктор?

В общем, нетривиально.

Возникает вопрос: а что за сценарий у нас такой, где нужны именно структуры, и именно наследование?