Record type with multiple constructors

Simply add the constructor you want like this:

record Rank(int level, string description);

record Manager(string FirstName, Rank Rank) {
  public Manager() : this("", new Rank(0, "Entry")) { }

  // public Manager(string FirstName, Rank Rank) is auto generated
}