class User { public string Name { get; } public User(string name) { if (name == null) throw new ArgumentNullException(nameof(name)); // If we rename name later this will not compile (which is good) Name = name; } }