Split out from #3594.
ObjectCreationMutator always emits an empty-initializer variant (new Notification {}), which fails CS9035 ("Required member 'X' must be set in the object initializer or attribute constructor") when the type has C# 11 required properties/fields.
Proposed fix: skip the empty-initializer mutation when the resolved type (or any base) has a member with IsRequired == true.
Split out from #3594.
ObjectCreationMutatoralways emits an empty-initializer variant (new Notification {}), which fails CS9035 ("Required member 'X' must be set in the object initializer or attribute constructor") when the type has C# 11requiredproperties/fields.Proposed fix: skip the empty-initializer mutation when the resolved type (or any base) has a member with
IsRequired == true.