Actually support non-optional record fields