`required` vs primary constructor - C#